Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Dave is rough. Dave is round. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is round. If Dave is furry and Dave is quiet then Dave is round. All quiet things are blue. If something is furry and rough then it is quiet.
Dave is green.
@0: Dave is blue.[(triple1 OR ((triple5) -> rule2) OR ((((triple3 triple6) -> rule3)) -> rule2))] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is quiet.[(triple5 OR ((triple3 triple6) -> rule3))] Dave is rough.[(triple6)] Dave is round.[(triple7 OR ((triple3 triple5) -> rule1) OR ((triple3 ((triple3 triple6) -> rule3)) -> rule1))] Fiona is blue.[(triple8 OR ((triple12) -> rule2) OR ((((triple10 triple13) -> rule3)) -> rule2))] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is quiet.[(triple12 OR ((triple10 triple13) -> rule3))] Fiona is rough.[(triple13)] Fiona is round.[(triple14)]