Dave is furry. Erin is quiet. Rough things are blue. Furry, nice things are white. If Erin is nice and Erin is quiet then Erin is white. If Dave is blue then Dave is quiet. Blue, round things are rough. All furry things are nice. If Erin is rough and Erin is round then Erin is furry. Nice, white things are rough.
Dave is rough.
@0: Dave is furry.[(triple1)] Erin is quiet.[(triple2)] @1: Dave is nice.[(((triple1) -> rule6))] @2: Dave is white.[(((triple1 ((triple1) -> rule6)) -> rule2))] @3: Dave is rough.[(((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8))] @4: Dave is blue.[(((((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule1))] @5: Dave is quiet.[(((((((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule1)) -> rule4))]