Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is smart. Bob is nice. Bob is red. Bob is round. Bob is smart. Dave is blue. Dave is red. Dave is round. Dave is smart. Gary is cold. Gary is nice. Gary is rough. If someone is cold and round then they are nice. Rough, red people are cold.
Gary is red.
@0: Anne is nice.[(triple1 OR ((((triple3 triple2) -> rule2) triple4) -> rule1))] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Bob is nice.[(triple6)] Bob is red.[(triple7)] Bob is round.[(triple8)] Bob is smart.[(triple9)] Dave is blue.[(triple10)] Dave is red.[(triple11)] Dave is round.[(triple12)] Dave is smart.[(triple13)] Gary is cold.[(triple14)] Gary is nice.[(triple15)] Gary is rough.[(triple16)] @1: Anne is cold.[(((triple3 triple2) -> rule2))]