Harry is big. Harry is cold. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is smart. If something is nice and not big then it is rough. Big, red things are smart. If something is cold and big then it is smart. Nice things are smart. All smart, big things are red. All big things are red. If Harry is big and Harry is nice then Harry is kind. Big things are nice.
Harry is smart.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is kind.[(triple3 OR ((triple1 triple4) -> rule7) OR ((triple1 ((triple1) -> rule8)) -> rule7))] Harry is nice.[(triple4 OR ((triple1) -> rule8))] Harry is red.[(triple5 OR ((triple1) -> rule6) OR ((triple7 triple1) -> rule5) OR ((((triple4) -> rule4) triple1) -> rule5) OR ((((triple2 triple1) -> rule3) triple1) -> rule5) OR ((((((triple1) -> rule8)) -> rule4) triple1) -> rule5))] Harry is rough.[(triple6)] Harry is smart.[(triple7 OR ((triple4) -> rule4) OR ((triple1 triple5) -> rule2) OR ((triple2 triple1) -> rule3) OR ((((triple1) -> rule8)) -> rule4) OR ((triple1 ((triple1) -> rule6)) -> rule2))]