Bob is not quiet. Bob is round. Bob is smart. Bob is white. Gary is not kind. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Gary is white. Harry is kind. Harry is not nice. Harry is quiet. Harry is round. Harry is smart. Kind, white things are rough. If Bob is kind then Bob is round. If something is rough then it is nice. If something is rough then it is nice. Rough, white things are nice. If something is white then it is smart. If Gary is not white then Gary is quiet. If Bob is round and Bob is smart then Bob is kind.
Gary is round.
@0: Bob is not quiet.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3 OR ((triple4) -> rule6))] Bob is white.[(triple4)] Gary is nice.[(triple6 OR ((triple8) -> rule3) OR ((triple8) -> rule4) OR ((triple8 triple10) -> rule5))] Gary is not kind.[(triple5)] Gary is quiet.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10)] Harry is kind.[(triple11)] Harry is not nice.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Bob is kind.[(((triple2 triple3) -> rule8) OR ((triple2 ((triple4) -> rule6)) -> rule8))] Gary is smart.[(((triple10) -> rule6))] @2: Bob is rough.[(((((triple2 triple3) -> rule8) triple4) -> rule1) OR ((((triple2 ((triple4) -> rule6)) -> rule8) triple4) -> rule1))] @3: Bob is nice.[(((((((triple2 triple3) -> rule8) triple4) -> rule1)) -> rule3) OR ((((((triple2 triple3) -> rule8) triple4) -> rule1)) -> rule4) OR ((((((triple2 triple3) -> rule8) triple4) -> rule1) triple4) -> rule5) OR ((((((triple2 ((triple4) -> rule6)) -> rule8) triple4) -> rule1)) -> rule3) OR ((((((triple2 ((triple4) -> rule6)) -> rule8) triple4) -> rule1)) -> rule4) OR ((((((triple2 ((triple4) -> rule6)) -> rule8) triple4) -> rule1) triple4) -> rule5))]