Charlie is furry. Erin is blue. Erin is cold. Erin is kind. Erin is nice. Gary is cold. Gary is red. Gary is smart. Harry is blue. Harry is kind. Harry is smart. If someone is kind then they are smart. All furry, red people are nice. All smart people are cold. If someone is cold then they are kind. Furry, cold people are red. Kind people are smart. If Harry is furry and Harry is cold then Harry is red. Furry people are kind.
Charlie is not cold.
@0: Charlie is furry.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3 OR ((((triple4) -> rule1)) -> rule3) OR ((((triple4) -> rule6)) -> rule3))] Erin is kind.[(triple4 OR ((triple3) -> rule4))] Erin is nice.[(triple5)] Gary is cold.[(triple6 OR ((triple8) -> rule3))] Gary is red.[(triple7)] Gary is smart.[(triple8 OR ((((triple6) -> rule4)) -> rule1) OR ((((triple6) -> rule4)) -> rule6))] Harry is blue.[(triple9)] Harry is kind.[(triple10 OR ((((triple11) -> rule3)) -> rule4))] Harry is smart.[(triple11 OR ((triple10) -> rule1) OR ((triple10) -> rule6))] @1: Charlie is kind.[(((triple1) -> rule8))] Erin is smart.[(((triple4) -> rule1) OR ((triple4) -> rule6) OR ((((triple3) -> rule4)) -> rule1) OR ((((triple3) -> rule4)) -> rule6))] Gary is kind.[(((triple6) -> rule4) OR ((((triple8) -> rule3)) -> rule4))] Harry is cold.[(((triple11) -> rule3) OR ((((triple10) -> rule1)) -> rule3) OR ((((triple10) -> rule6)) -> rule3))] @2: Charlie is smart.[(((((triple1) -> rule8)) -> rule1) OR ((((triple1) -> rule8)) -> rule6))] @3: Charlie is cold.[(((((((triple1) -> rule8)) -> rule1)) -> rule3) OR ((((((triple1) -> rule8)) -> rule6)) -> rule3))] @4: Charlie is red.[(((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule3)) -> rule5) OR ((triple1 ((((((triple1) -> rule8)) -> rule6)) -> rule3)) -> rule5))] @5: Charlie is nice.[(((triple1 ((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((triple1 ((((((triple1) -> rule8)) -> rule6)) -> rule3)) -> rule5)) -> rule2))]