Anne is big. Anne is red. Dave is cold. Dave is not furry. Dave is nice. Dave is rough. Dave is young. Gary is big. Gary is red. Gary is young. Nice, red people are big. If someone is rough and nice then they are cold. All rough people are nice. If someone is red then they are rough. If Gary is big then Gary is nice. If someone is furry and not red then they are young. If someone is young and not rough then they are furry. If Anne is nice and Anne is not furry then Anne is cold.
Gary is not red.
@0: Anne is big.[(triple1 OR ((((((triple2) -> rule4)) -> rule3) triple2) -> rule1))] Anne is red.[(triple2)] Dave is cold.[(triple3 OR ((triple6 triple5) -> rule2) OR ((triple6 ((triple6) -> rule3)) -> rule2))] Dave is nice.[(triple5 OR ((triple6) -> rule3))] Dave is not furry.[(triple4)] Dave is rough.[(triple6)] Dave is young.[(triple7)] Gary is big.[(triple8 OR ((((((triple9) -> rule4)) -> rule3) triple9) -> rule1))] Gary is red.[(triple9)] Gary is young.[(triple10)] @1: Anne is rough.[(((triple2) -> rule4))] Gary is nice.[(((triple8) -> rule5) OR ((((triple9) -> rule4)) -> rule3))] Gary is rough.[(((triple9) -> rule4))] @2: Anne is nice.[(((((triple2) -> rule4)) -> rule3))] Gary is cold.[(((((triple9) -> rule4) ((triple8) -> rule5)) -> rule2) OR ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule3)) -> rule2))] @3: Anne is cold.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule3)) -> rule2))]