Dave is blue. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is round. Gary is red. Harry is blue. Harry is nice. Harry is rough. Harry is round. All round things are nice. Blue things are round. If something is red then it is blue.
Gary is not quiet.
@0: Dave is blue.[(triple1 OR ((triple5) -> rule3))] Dave is furry.[(triple2)] Dave is nice.[(triple3 OR ((triple7) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((((triple5) -> rule3)) -> rule2)) -> rule1))] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7 OR ((triple1) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] Gary is red.[(triple8)] Harry is blue.[(triple9)] Harry is nice.[(triple10 OR ((triple12) -> rule1) OR ((((triple9) -> rule2)) -> rule1))] Harry is rough.[(triple11)] Harry is round.[(triple12 OR ((triple9) -> rule2))] @1: Gary is blue.[(((triple8) -> rule3))] @2: Gary is round.[(((((triple8) -> rule3)) -> rule2))] @3: Gary is nice.[(((((((triple8) -> rule3)) -> rule2)) -> rule1))]