Charlie is big. Charlie is red. Charlie is rough. Charlie is not white. Dave is big. Dave is kind. Dave is not red. Dave is rough. Dave is not round. Dave is white. Harry is big. Harry is blue. Harry is red. Harry is not round. Harry is white. Round, kind things are red. Big things are rough. All kind things are blue. If something is white and round then it is blue. All red, white things are big. If something is rough then it is big. If Charlie is red and Charlie is big then Charlie is not kind. If Dave is big and Dave is round then Dave is red.
Charlie is round.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule6))] Charlie is not white.[(triple4)] Charlie is red.[(triple2)] Charlie is rough.[(triple3 OR ((triple1) -> rule2))] Dave is big.[(triple5 OR ((triple8) -> rule6))] Dave is kind.[(triple6)] Dave is not red.[(triple7)] Dave is not round.[(triple9)] Dave is rough.[(triple8 OR ((triple5) -> rule2))] Dave is white.[(triple10)] Harry is big.[(triple11 OR ((triple13 triple15) -> rule5))] Harry is blue.[(triple12)] Harry is not round.[(triple14)] Harry is red.[(triple13)] Harry is white.[(triple15)] @1: Charlie is not kind.[(((triple2 triple1) -> rule7) OR ((triple2 ((triple3) -> rule6)) -> rule7))] Dave is blue.[(((triple6) -> rule3))] Harry is rough.[(((triple11) -> rule2) OR ((((triple13 triple15) -> rule5)) -> rule2))]