Anne is big. Dave is big. Erin is red. If Erin is round then Erin is kind. Rough, round things are big. All blue things are rough. All blue things are rough. All round, green things are blue. Big, rough things are blue. If something is big then it is green. If Dave is green then Dave is blue.
Dave is rough.
@0: Anne is big.[(triple1)] Dave is big.[(triple2)] Erin is red.[(triple3)] @1: Anne is green.[(((triple1) -> rule7))] Dave is green.[(((triple2) -> rule7))] @2: Dave is blue.[(((((triple2) -> rule7)) -> rule8))] @3: Dave is rough.[(((((((triple2) -> rule7)) -> rule8)) -> rule3) OR ((((((triple2) -> rule7)) -> rule8)) -> rule4))]