Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. All blue things are cold. If something is rough and quiet then it is cold. Quiet, white things are red. All kind, cold things are rough. White things are quiet. If Charlie is quiet and Charlie is red then Charlie is kind.
Charlie is kind.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple1) -> rule1) OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple7) -> rule5)) -> rule2))] Charlie is kind.[(triple3 OR ((triple4 triple5) -> rule6) OR ((triple4 ((triple4 triple7) -> rule3)) -> rule6) OR ((((triple7) -> rule5) triple5) -> rule6) OR ((((triple7) -> rule5) ((triple4 triple7) -> rule3)) -> rule6) OR ((triple4 ((((triple7) -> rule5) triple7) -> rule3)) -> rule6) OR ((((triple7) -> rule5) ((((triple7) -> rule5) triple7) -> rule3)) -> rule6))] Charlie is quiet.[(triple4 OR ((triple7) -> rule5))] Charlie is red.[(triple5 OR ((triple4 triple7) -> rule3) OR ((((triple7) -> rule5) triple7) -> rule3))] Charlie is rough.[(triple6 OR ((triple3 triple2) -> rule4) OR ((triple3 ((triple1) -> rule1)) -> rule4) OR ((((triple4 triple5) -> rule6) triple2) -> rule4) OR ((((triple4 triple5) -> rule6) ((triple1) -> rule1)) -> rule4) OR ((((triple4 ((triple4 triple7) -> rule3)) -> rule6) triple2) -> rule4) OR ((((((triple7) -> rule5) triple5) -> rule6) triple2) -> rule4) OR ((((triple4 ((triple4 triple7) -> rule3)) -> rule6) ((triple1) -> rule1)) -> rule4) OR ((((((triple7) -> rule5) triple5) -> rule6) ((triple1) -> rule1)) -> rule4) OR ((((((triple7) -> rule5) ((triple4 triple7) -> rule3)) -> rule6) triple2) -> rule4) OR ((((((triple7) -> rule5) ((triple4 triple7) -> rule3)) -> rule6) ((triple1) -> rule1)) -> rule4) OR ((((triple4 ((((triple7) -> rule5) triple7) -> rule3)) -> rule6) triple2) -> rule4) OR ((((triple4 ((((triple7) -> rule5) triple7) -> rule3)) -> rule6) ((triple1) -> rule1)) -> rule4) OR ((((((triple7) -> rule5) ((((triple7) -> rule5) triple7) -> rule3)) -> rule6) triple2) -> rule4) OR ((((((triple7) -> rule5) ((((triple7) -> rule5) triple7) -> rule3)) -> rule6) ((triple1) -> rule1)) -> rule4))] Charlie is white.[(triple7)]