Anne is red. Anne is rough. Anne is round. Dave is kind. Dave is quiet. Dave is rough. Gary is green. Gary is rough. Gary is round. Harry is cold. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is round. If something is cold then it is rough. All round, rough things are green. All rough, green things are red.
Gary is kind.
@0: Anne is red.[(triple1 OR ((triple2 ((triple3 triple2) -> rule2)) -> rule3))] Anne is rough.[(triple2)] Anne is round.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Gary is green.[(triple7 OR ((triple9 triple8) -> rule2))] Gary is rough.[(triple8)] Gary is round.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12)] Harry is red.[(triple13 OR ((triple14 ((triple15 triple14) -> rule2)) -> rule3) OR ((((triple10) -> rule1) ((triple15 triple14) -> rule2)) -> rule3) OR ((triple14 ((triple15 ((triple10) -> rule1)) -> rule2)) -> rule3) OR ((((triple10) -> rule1) ((triple15 ((triple10) -> rule1)) -> rule2)) -> rule3))] Harry is rough.[(triple14 OR ((triple10) -> rule1))] Harry is round.[(triple15)] @1: Anne is green.[(((triple3 triple2) -> rule2))] Gary is red.[(((triple8 triple7) -> rule3) OR ((triple8 ((triple9 triple8) -> rule2)) -> rule3))] Harry is green.[(((triple15 triple14) -> rule2) OR ((triple15 ((triple10) -> rule1)) -> rule2))]