Anne is big. Erin is red. Fiona is nice. Harry is red. If something is round and nice then it is red. If something is big then it is furry. If something is nice and young then it is round. Kind, furry things are young. All round, furry things are young. If something is big and red then it is furry. Nice, round things are young. Red things are kind.
Fiona is big.
@0: Anne is big.[(triple1)] Erin is red.[(triple2)] Fiona is nice.[(triple3)] Harry is red.[(triple4)] @1: Anne is furry.[(((triple1) -> rule2))] Erin is kind.[(((triple2) -> rule8))] Harry is kind.[(((triple4) -> rule8))]