Charlie is furry. Charlie is red. Fiona is big. If someone is cold then they are furry. Furry, smart people are nice. If someone is big and furry then they are smart. If someone is big then they are furry. If Charlie is cold and Charlie is red then Charlie is furry. If someone is cold and young then they are furry. Cold people are big. All nice, smart people are young.
Fiona is red.
@0: Charlie is furry.[(triple1)] Charlie is red.[(triple2)] Fiona is big.[(triple3)] @1: Fiona is furry.[(((triple3) -> rule4))] @2: Fiona is smart.[(((triple3 ((triple3) -> rule4)) -> rule3))] @3: Fiona is nice.[(((((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule3)) -> rule2))] @4: Fiona is young.[(((((((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule3)) -> rule2) ((triple3 ((triple3) -> rule4)) -> rule3)) -> rule8))]