Dave is furry. Erin is round. If something is red then it is rough. All blue things are red. If something is round and furry then it is blue. If something is round and smart then it is red. All round things are rough. If something is round then it is furry.
Erin is big.
@0: Dave is furry.[(triple1)] Erin is round.[(triple2)] @1: Erin is furry.[(((triple2) -> rule6))] Erin is rough.[(((triple2) -> rule5) OR ((((((triple2 ((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule1))] @2: Erin is blue.[(((triple2 ((triple2) -> rule6)) -> rule3))] @3: Erin is red.[(((((triple2 ((triple2) -> rule6)) -> rule3)) -> rule2))]