Charlie is big. Charlie is blue. Charlie is green. Charlie is not kind. Charlie is not red. Charlie is smart. Charlie is white. Harry is not big. Harry is blue. Harry is green. Harry is not kind. Harry is red. Harry is smart. Harry is white. Red, big things are white. Green things are blue. If something is red and green then it is blue. Red things are blue. If Charlie is red then Charlie is kind. Green, blue things are smart.
Harry is smart.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple3) -> rule2))] Charlie is green.[(triple3)] Charlie is not kind.[(triple4)] Charlie is not red.[(triple5)] Charlie is smart.[(triple6 OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple3) -> rule2)) -> rule6))] Charlie is white.[(triple7)] Harry is blue.[(triple9 OR ((triple10) -> rule2) OR ((triple12) -> rule4) OR ((triple12 triple10) -> rule3))] Harry is green.[(triple10)] Harry is not big.[(triple8)] Harry is not kind.[(triple11)] Harry is red.[(triple12)] Harry is smart.[(triple13 OR ((triple10 triple9) -> rule6) OR ((triple10 ((triple10) -> rule2)) -> rule6) OR ((triple10 ((triple12) -> rule4)) -> rule6) OR ((triple10 ((triple12 triple10) -> rule3)) -> rule6))] Harry is white.[(triple14)]