Gary is cold. Gary is round. Harry is rough. If someone is smart and not rough then they are kind. Smart people are kind. If someone is rough and cold then they are smart. Cold, rough people are smart. If Harry is rough then Harry is cold. If someone is smart then they are red. All smart people are not round. If someone is kind and not smart then they are nice.
Harry is not rough.
@0: Gary is cold.[(triple1)] Gary is round.[(triple2)] Harry is rough.[(triple3)] @1: Harry is cold.[(((triple3) -> rule5))] @2: Harry is smart.[(((triple3 ((triple3) -> rule5)) -> rule3) OR ((((triple3) -> rule5) triple3) -> rule4))] @3: Harry is kind.[(((((triple3 ((triple3) -> rule5)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) triple3) -> rule4)) -> rule2))] Harry is not round.[(((((triple3 ((triple3) -> rule5)) -> rule3)) -> rule7) OR ((((((triple3) -> rule5) triple3) -> rule4)) -> rule7))] Harry is red.[(((((triple3 ((triple3) -> rule5)) -> rule3)) -> rule6) OR ((((((triple3) -> rule5) triple3) -> rule4)) -> rule6))]