Charlie is blue. Charlie is green. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Harry is green. Harry is rough. Harry is round. Harry is smart. Green things are rough. Rough, green things are kind. If something is round then it is red. If Harry is rough then Harry is round. All red things are blue. All red, kind things are round.
Charlie is kind.
@0: Charlie is blue.[(triple1 OR ((triple4) -> rule5) OR ((((triple6) -> rule3)) -> rule5))] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple5 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))] Charlie is red.[(triple4 OR ((triple6) -> rule3))] Charlie is rough.[(triple5 OR ((triple2) -> rule1))] Charlie is round.[(triple6 OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple5 triple2) -> rule2)) -> rule6) OR ((triple4 ((((triple2) -> rule1) triple2) -> rule2)) -> rule6))] Harry is green.[(triple7)] Harry is rough.[(triple8 OR ((triple7) -> rule1))] Harry is round.[(triple9 OR ((triple8) -> rule4) OR ((((triple7) -> rule1)) -> rule4))] Harry is smart.[(triple10)] @1: Harry is kind.[(((triple8 triple7) -> rule2) OR ((((triple7) -> rule1) triple7) -> rule2))] Harry is red.[(((triple9) -> rule3) OR ((((triple8) -> rule4)) -> rule3) OR ((((((triple7) -> rule1)) -> rule4)) -> rule3))] @2: Harry is blue.[(((((triple9) -> rule3)) -> rule5) OR ((((((triple8) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple7) -> rule1)) -> rule4)) -> rule3)) -> rule5))]