Dave is red. Dave is smart. Erin is furry. Erin is nice. Erin is red. Erin is smart. Erin is white. Gary is cold. Gary is nice. Gary is round. Gary is smart. Harry is furry. Harry is nice. Harry is red. Harry is round. Harry is smart. All red people are nice. White people are furry. If someone is furry then they are red. If someone is nice and red then they are white. If someone is red then they are furry. If someone is white then they are cold.
Gary is white.
@0: Dave is red.[(triple1)] Dave is smart.[(triple2)] Erin is furry.[(triple3 OR ((triple5) -> rule5) OR ((triple7) -> rule2) OR ((((triple4 triple5) -> rule4)) -> rule2) OR ((((((triple5) -> rule1) triple5) -> rule4)) -> rule2))] Erin is nice.[(triple4 OR ((triple5) -> rule1) OR ((((triple3) -> rule3)) -> rule1) OR ((((((triple7) -> rule2)) -> rule3)) -> rule1))] Erin is red.[(triple5 OR ((triple3) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple4 triple5) -> rule4) OR ((triple4 ((triple3) -> rule3)) -> rule4) OR ((((triple5) -> rule1) triple5) -> rule4) OR ((((triple5) -> rule1) ((triple3) -> rule3)) -> rule4) OR ((((((triple3) -> rule3)) -> rule1) triple5) -> rule4) OR ((((((triple3) -> rule3)) -> rule1) ((triple3) -> rule3)) -> rule4))] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is round.[(triple10)] Gary is smart.[(triple11)] Harry is furry.[(triple12 OR ((triple14) -> rule5) OR ((((triple13 triple14) -> rule4)) -> rule2) OR ((((((triple14) -> rule1) triple14) -> rule4)) -> rule2))] Harry is nice.[(triple13 OR ((triple14) -> rule1) OR ((((triple12) -> rule3)) -> rule1))] Harry is red.[(triple14 OR ((triple12) -> rule3))] Harry is round.[(triple15)] Harry is smart.[(triple16)] @1: Dave is furry.[(((triple1) -> rule5) OR ((((((triple1) -> rule1) triple1) -> rule4)) -> rule2))] Dave is nice.[(((triple1) -> rule1))] Erin is cold.[(((triple7) -> rule6) OR ((((triple4 triple5) -> rule4)) -> rule6) OR ((((triple4 ((triple3) -> rule3)) -> rule4)) -> rule6) OR ((((((triple5) -> rule1) triple5) -> rule4)) -> rule6) OR ((((((triple5) -> rule1) ((triple3) -> rule3)) -> rule4)) -> rule6) OR ((((((((triple3) -> rule3)) -> rule1) triple5) -> rule4)) -> rule6) OR ((((((((triple3) -> rule3)) -> rule1) ((triple3) -> rule3)) -> rule4)) -> rule6))] Harry is white.[(((triple13 triple14) -> rule4) OR ((triple13 ((triple12) -> rule3)) -> rule4) OR ((((triple14) -> rule1) triple14) -> rule4) OR ((((triple14) -> rule1) ((triple12) -> rule3)) -> rule4) OR ((((((triple12) -> rule3)) -> rule1) triple14) -> rule4) OR ((((((triple12) -> rule3)) -> rule1) ((triple12) -> rule3)) -> rule4))] @2: Dave is white.[(((((triple1) -> rule1) triple1) -> rule4))] Harry is cold.[(((((triple13 triple14) -> rule4)) -> rule6) OR ((((triple13 ((triple12) -> rule3)) -> rule4)) -> rule6) OR ((((((triple14) -> rule1) triple14) -> rule4)) -> rule6) OR ((((((triple14) -> rule1) ((triple12) -> rule3)) -> rule4)) -> rule6) OR ((((((((triple12) -> rule3)) -> rule1) triple14) -> rule4)) -> rule6) OR ((((((((triple12) -> rule3)) -> rule1) ((triple12) -> rule3)) -> rule4)) -> rule6))] @3: Dave is cold.[(((((((triple1) -> rule1) triple1) -> rule4)) -> rule6))]