Bob is not big. Bob is cold. Bob is kind. Bob is quiet. Bob is smart. Gary is big. Gary is quiet. Gary is round. Gary is smart. Harry is big. Harry is cold. Harry is kind. Harry is quiet. Harry is round. Harry is smart. If something is round and quiet then it is rough. If something is cold and not quiet then it is not rough. If something is round then it is rough. If something is kind and not quiet then it is not round. If something is kind and not smart then it is not round. If something is cold and not smart then it is round. If Bob is kind and Bob is rough then Bob is cold. If Bob is smart and Bob is kind then Bob is round.
Harry is rough.
@0: Bob is cold.[(triple2 OR ((triple3 ((((triple5 triple3) -> rule8)) -> rule3)) -> rule7) OR ((triple3 ((((triple5 triple3) -> rule8) triple4) -> rule1)) -> rule7))] Bob is kind.[(triple3)] Bob is not big.[(triple1)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Gary is big.[(triple6)] Gary is quiet.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Bob is round.[(((triple5 triple3) -> rule8))] Gary is rough.[(((triple8) -> rule3) OR ((triple8 triple7) -> rule1))] Harry is rough.[(((triple14) -> rule3) OR ((triple14 triple13) -> rule1))] @2: Bob is rough.[(((((triple5 triple3) -> rule8)) -> rule3) OR ((((triple5 triple3) -> rule8) triple4) -> rule1))]