Anne is blue. Anne is cold. Anne is quiet. Anne is red. Anne is round. Anne is young. Bob is rough. Dave is blue. Dave is red. Dave is round. Dave is young. Gary is cold. If Gary is round then Gary is rough. If something is round and quiet then it is blue. Cold, quiet things are round. All cold things are young. If something is round then it is young. If something is round then it is young.
Gary is not round.
@0: Anne is blue.[(triple1 OR ((triple5 triple3) -> rule2) OR ((((triple2 triple3) -> rule3) triple3) -> rule2))] Anne is cold.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5 OR ((triple2 triple3) -> rule3))] Anne is young.[(triple6 OR ((triple2) -> rule4) OR ((triple5) -> rule5) OR ((triple5) -> rule6) OR ((((triple2 triple3) -> rule3)) -> rule5) OR ((((triple2 triple3) -> rule3)) -> rule6))] Bob is rough.[(triple7)] Dave is blue.[(triple8)] Dave is red.[(triple9)] Dave is round.[(triple10)] Dave is young.[(triple11 OR ((triple10) -> rule5) OR ((triple10) -> rule6))] Gary is cold.[(triple12)] @1: Gary is young.[(((triple12) -> rule4))]