Anne is not big. Anne is red. Anne is rough. Anne is not smart. Bob is big. Bob is nice. Bob is smart. Bob is white. Charlie is red. Charlie is rough. Charlie is smart. Harry is not nice. Harry is red. Harry is rough. Harry is smart. Harry is not white. If something is smart then it is not round. If something is rough and big then it is not round. If something is white and not nice then it is not smart. If Bob is big then Bob is smart. If something is round and red then it is big. If something is round and red then it is white.
Charlie is not red.
@0: Anne is not big.[(triple1)] Anne is not smart.[(triple4)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Bob is big.[(triple5)] Bob is nice.[(triple6)] Bob is smart.[(triple7 OR ((triple5) -> rule4))] Bob is white.[(triple8)] Charlie is red.[(triple9)] Charlie is rough.[(triple10)] Charlie is smart.[(triple11)] Harry is not nice.[(triple12)] Harry is not white.[(triple16)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)] @1: Bob is not round.[(((triple7) -> rule1) OR ((((triple5) -> rule4)) -> rule1))] Charlie is not round.[(((triple11) -> rule1))] Harry is not round.[(((triple15) -> rule1))]