Dave is cold. Dave is rough. Dave is round. Dave is smart. Dave is white. Erin is kind. Gary is cold. Gary is kind. Gary is quiet. Gary is rough. Gary is round. Gary is smart. Gary is white. Harry is cold. Harry is smart. If someone is rough then they are round. If Harry is cold and Harry is round then Harry is kind. All smart people are rough.
Harry is rough.
@0: Dave is cold.[(triple1)] Dave is rough.[(triple2 OR ((triple4) -> rule3))] Dave is round.[(triple3 OR ((triple2) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Dave is smart.[(triple4)] Dave is white.[(triple5)] Erin is kind.[(triple6)] Gary is cold.[(triple7)] Gary is kind.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10 OR ((triple12) -> rule3))] Gary is round.[(triple11 OR ((triple10) -> rule1) OR ((((triple12) -> rule3)) -> rule1))] Gary is smart.[(triple12)] Gary is white.[(triple13)] Harry is cold.[(triple14)] Harry is smart.[(triple15)] @1: Harry is rough.[(((triple15) -> rule3))] @2: Harry is round.[(((((triple15) -> rule3)) -> rule1))] @3: Harry is kind.[(((triple14 ((((triple15) -> rule3)) -> rule1)) -> rule2))]