Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Gary is furry. Gary is quiet. Gary is red. Gary is rough. Gary is round. Harry is furry. Harry is kind. Harry is quiet. Harry is round. All red, rough things are quiet. All quiet things are nice. Quiet, nice things are red.
Harry is not nice.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3 OR ((triple4) -> rule2) OR ((((triple5 triple6) -> rule1)) -> rule2))] Charlie is quiet.[(triple4 OR ((triple5 triple6) -> rule1))] Charlie is red.[(triple5 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple4) -> rule2)) -> rule3))] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Gary is furry.[(triple8)] Gary is quiet.[(triple9 OR ((triple10 triple11) -> rule1))] Gary is red.[(triple10 OR ((triple9 ((triple9) -> rule2)) -> rule3))] Gary is rough.[(triple11)] Gary is round.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15)] Harry is round.[(triple16)] @1: Gary is nice.[(((triple9) -> rule2) OR ((((triple10 triple11) -> rule1)) -> rule2))] Harry is nice.[(((triple15) -> rule2))] @2: Harry is red.[(((triple15 ((triple15) -> rule2)) -> rule3))]