Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Fiona is kind. Fiona is rough. Fiona is white. Harry is cold. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is white. If Harry is nice and Harry is cold then Harry is red. White, cold things are red. Rough, red things are nice.
Fiona is not nice.
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Fiona is kind.[(triple6)] Fiona is rough.[(triple7)] Fiona is white.[(triple8)] Harry is cold.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11 OR ((triple13 triple12) -> rule3) OR ((triple13 ((triple15 triple9) -> rule2)) -> rule3))] Harry is red.[(triple12 OR ((triple11 triple9) -> rule1) OR ((triple15 triple9) -> rule2))] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Charlie is nice.[(((triple3 triple2) -> rule3))]