Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Gary is smart. Harry is furry. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is white. All red, rough people are kind. Rough people are round. If someone is round then they are red.
Harry is white.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2 OR ((triple3 triple4) -> rule1) OR ((((triple5) -> rule3) triple4) -> rule1) OR ((((((triple4) -> rule2)) -> rule3) triple4) -> rule1))] Charlie is red.[(triple3 OR ((triple5) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] Charlie is rough.[(triple4)] Charlie is round.[(triple5 OR ((triple4) -> rule2))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Gary is smart.[(triple8)] Harry is furry.[(triple9)] Harry is kind.[(triple10 OR ((triple11 triple12) -> rule1) OR ((((triple13) -> rule3) triple12) -> rule1) OR ((((((triple12) -> rule2)) -> rule3) triple12) -> rule1))] Harry is red.[(triple11 OR ((triple13) -> rule3) OR ((((triple12) -> rule2)) -> rule3))] Harry is rough.[(triple12)] Harry is round.[(triple13 OR ((triple12) -> rule2))] Harry is smart.[(triple14)] Harry is white.[(triple15)]