Dave is green. Dave is red. Dave is rough. Dave is round. Dave is smart. Erin is red. Erin is round. Fiona is green. Fiona is red. Fiona is smart. Green things are smart. If something is rough then it is blue. If something is smart and rough then it is red.
Fiona is rough.
@0: Dave is green.[(triple1)] Dave is red.[(triple2 OR ((triple5 triple3) -> rule3) OR ((((triple1) -> rule1) triple3) -> rule3))] Dave is rough.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5 OR ((triple1) -> rule1))] Erin is red.[(triple6)] Erin is round.[(triple7)] Fiona is green.[(triple8)] Fiona is red.[(triple9)] Fiona is smart.[(triple10 OR ((triple8) -> rule1))] @1: Dave is blue.[(((triple3) -> rule2))]