Charlie is big. Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Charlie is not smart. Charlie is white. Harry is big. Harry is cold. Harry is not nice. Harry is red. Harry is rough. Harry is not smart. Harry is white. If something is nice and not smart then it is big. If Charlie is big then Charlie is cold. If something is big then it is red. If something is smart then it is red. All white, rough things are red. Rough, nice things are red. If something is smart and red then it is cold. If Harry is cold then Harry is rough.
Harry is nice.
@0: Charlie is big.[(triple1 OR ((triple3 triple6) -> rule1))] Charlie is cold.[(triple2 OR ((triple1) -> rule2) OR ((((triple3 triple6) -> rule1)) -> rule2))] Charlie is nice.[(triple3)] Charlie is not smart.[(triple6)] Charlie is red.[(triple4 OR ((triple1) -> rule3) OR ((triple5 triple3) -> rule6) OR ((triple7 triple5) -> rule5) OR ((((triple3 triple6) -> rule1)) -> rule3))] Charlie is rough.[(triple5)] Charlie is white.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is not nice.[(triple10)] Harry is not smart.[(triple13)] Harry is red.[(triple11 OR ((triple8) -> rule3) OR ((triple14 triple12) -> rule5) OR ((triple14 ((triple9) -> rule8)) -> rule5))] Harry is rough.[(triple12 OR ((triple9) -> rule8))] Harry is white.[(triple14)]