Charlie is cold. Charlie is furry. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. If something is smart and furry then it is red. If Charlie is kind and Charlie is smart then Charlie is red. If something is red and kind then it is white. If something is kind then it is white. All kind things are furry. If Charlie is white then Charlie is cold. All kind things are young. All cold things are young.
Charlie is not cold.
@0: Charlie is cold.[(triple1 OR ((triple6) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((triple4 triple3) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) triple3) -> rule3)) -> rule6) OR ((((((triple5 triple2) -> rule1) triple3) -> rule3)) -> rule6) OR ((((((triple5 ((triple3) -> rule5)) -> rule1) triple3) -> rule3)) -> rule6))] Charlie is furry.[(triple2 OR ((triple3) -> rule5))] Charlie is kind.[(triple3)] Charlie is red.[(triple4 OR ((triple3 triple5) -> rule2) OR ((triple5 triple2) -> rule1) OR ((triple5 ((triple3) -> rule5)) -> rule1))] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple3) -> rule4) OR ((triple4 triple3) -> rule3) OR ((((triple3 triple5) -> rule2) triple3) -> rule3) OR ((((triple5 triple2) -> rule1) triple3) -> rule3) OR ((((triple5 ((triple3) -> rule5)) -> rule1) triple3) -> rule3))] Charlie is young.[(triple7 OR ((triple1) -> rule8) OR ((triple3) -> rule7) OR ((((triple6) -> rule6)) -> rule8) OR ((((((triple3) -> rule4)) -> rule6)) -> rule8) OR ((((((triple4 triple3) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple3 triple5) -> rule2) triple3) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple5 triple2) -> rule1) triple3) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple5 ((triple3) -> rule5)) -> rule1) triple3) -> rule3)) -> rule6)) -> rule8))]