Dave is blue. Dave is nice. Dave is red. Dave is rough. Dave is round. Dave is young. Gary is red. Gary is round. Gary is white. Harry is red. Harry is rough. Harry is young. Round people are blue. If someone is white and rough then they are red.
Harry is white.
@0: Dave is blue.[(triple1 OR ((triple5) -> rule1))] Dave is nice.[(triple2)] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is young.[(triple6)] Gary is red.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Gary is blue.[(((triple8) -> rule1))]