Erin is big. Erin is furry. Erin is red. Erin is rough. Harry is big. Harry is rough. Harry is young. If Harry is rough and Harry is red then Harry is blue. If someone is big and young then they are red. If Harry is blue then Harry is nice. All big, nice people are young. Nice people are blue. All red, nice people are big. If someone is nice then they are blue. Furry people are blue.
Harry is blue.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Harry is big.[(triple5)] Harry is rough.[(triple6)] Harry is young.[(triple7)] @1: Erin is blue.[(((triple2) -> rule8))] Harry is red.[(((triple5 triple7) -> rule2))] @2: Harry is blue.[(((triple6 ((triple5 triple7) -> rule2)) -> rule1))] @3: Harry is nice.[(((((triple6 ((triple5 triple7) -> rule2)) -> rule1)) -> rule3))]