Erin is big. Erin is not blue. Erin is not white. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is nice. Harry is red. Harry is white. If something is blue and not white then it is furry. Big, white things are furry. All cold things are furry. All blue, white things are nice. Red, white things are big. If something is big then it is cold. If something is blue and furry then it is cold. If Erin is red and Erin is nice then Erin is furry.
Harry is blue.
@0: Erin is big.[(triple1)] Erin is not blue.[(triple2)] Erin is not white.[(triple3)] Harry is big.[(triple4 OR ((triple9 triple10) -> rule5))] Harry is blue.[(triple5)] Harry is cold.[(triple6 OR ((triple4) -> rule6) OR ((triple5 triple7) -> rule7) OR ((((triple9 triple10) -> rule5)) -> rule6) OR ((triple5 ((triple4 triple10) -> rule2)) -> rule7) OR ((triple5 ((((triple9 triple10) -> rule5) triple10) -> rule2)) -> rule7))] Harry is furry.[(triple7 OR ((triple6) -> rule3) OR ((triple4 triple10) -> rule2) OR ((((triple4) -> rule6)) -> rule3) OR ((((triple9 triple10) -> rule5) triple10) -> rule2) OR ((((((triple9 triple10) -> rule5)) -> rule6)) -> rule3))] Harry is nice.[(triple8 OR ((triple5 triple10) -> rule4))] Harry is red.[(triple9)] Harry is white.[(triple10)] @1: Erin is cold.[(((triple1) -> rule6))] @2: Erin is furry.[(((((triple1) -> rule6)) -> rule3))]