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