Anne is not big. Anne is blue. Anne is cold. Anne is furry. Anne is red. Anne is round. Anne is young. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is red. Gary is round. Gary is young. If something is cold and furry then it is blue. All furry things are red. Big things are furry. If Gary is not red then Gary is young. If something is big then it is round. If something is cold then it is round. If something is cold and not furry then it is round. If Anne is not round then Anne is young.
Gary is not round.
@0: Anne is blue.[(triple2 OR ((triple3 triple4) -> rule1))] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is not big.[(triple1)] Anne is red.[(triple5 OR ((triple4) -> rule2))] Anne is round.[(triple6 OR ((triple3) -> rule6))] Anne is young.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9 OR ((triple10 triple11) -> rule1) OR ((triple10 ((triple8) -> rule3)) -> rule1))] Gary is cold.[(triple10)] Gary is furry.[(triple11 OR ((triple8) -> rule3))] Gary is red.[(triple12 OR ((triple11) -> rule2) OR ((((triple8) -> rule3)) -> rule2))] Gary is round.[(triple13 OR ((triple10) -> rule6) OR ((triple8) -> rule5))] Gary is young.[(triple14)]