Charlie is cold. Charlie is furry. Charlie is kind. Charlie is white. Harry is blue. Harry is cold. Harry is kind. Harry is nice. Harry is rough. Harry is white. If Harry is kind and Harry is white then Harry is nice. If someone is blue then they are kind. Kind, blue people are nice. White people are blue. If someone is white and not rough then they are cold. If someone is white and not blue then they are not cold.
Charlie is nice.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3 OR ((((triple4) -> rule4)) -> rule2))] Charlie is white.[(triple4)] Harry is blue.[(triple5 OR ((triple10) -> rule4))] Harry is cold.[(triple6)] Harry is kind.[(triple7 OR ((triple5) -> rule2) OR ((((triple10) -> rule4)) -> rule2))] Harry is nice.[(triple8 OR ((triple7 triple10) -> rule1) OR ((triple7 triple5) -> rule3) OR ((triple7 ((triple10) -> rule4)) -> rule3) OR ((((triple5) -> rule2) triple10) -> rule1) OR ((((triple5) -> rule2) triple5) -> rule3) OR ((((triple5) -> rule2) ((triple10) -> rule4)) -> rule3) OR ((((((triple10) -> rule4)) -> rule2) triple10) -> rule1) OR ((((((triple10) -> rule4)) -> rule2) triple5) -> rule3) OR ((((((triple10) -> rule4)) -> rule2) ((triple10) -> rule4)) -> rule3))] Harry is rough.[(triple9)] Harry is white.[(triple10)] @1: Charlie is blue.[(((triple4) -> rule4))] @2: Charlie is nice.[(((triple3 ((triple4) -> rule4)) -> rule3) OR ((((((triple4) -> rule4)) -> rule2) ((triple4) -> rule4)) -> rule3))]