Bob is furry. Bob is quiet. Bob is round. Bob is smart. Bob is white. Charlie is smart. Gary is furry. Gary is quiet. Gary is smart. Gary is white. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is round. All white things are kind. White, smart things are kind. If Harry is furry and Harry is quiet then Harry is white. If something is white then it is kind. If something is smart then it is round. Furry things are nice. All quiet things are nice. If Bob is white and Bob is smart then Bob is furry.
Bob is round.
@0: Bob is furry.[(triple1 OR ((triple5 triple4) -> rule8))] Bob is quiet.[(triple2)] Bob is round.[(triple3 OR ((triple4) -> rule5))] Bob is smart.[(triple4)] Bob is white.[(triple5)] Charlie is smart.[(triple6)] Gary is furry.[(triple7)] Gary is quiet.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple12 OR ((((triple11 triple14) -> rule3)) -> rule1) OR ((((triple11 triple14) -> rule3)) -> rule4))] Harry is nice.[(triple13 OR ((triple11) -> rule6) OR ((triple14) -> rule7))] Harry is quiet.[(triple14)] Harry is round.[(triple15)] @1: Bob is kind.[(((triple5) -> rule1) OR ((triple5) -> rule4) OR ((triple5 triple4) -> rule2))] Bob is nice.[(((triple1) -> rule6) OR ((triple2) -> rule7) OR ((((triple5 triple4) -> rule8)) -> rule6))] Charlie is round.[(((triple6) -> rule5))] Gary is kind.[(((triple10) -> rule1) OR ((triple10) -> rule4) OR ((triple10 triple9) -> rule2))] Gary is nice.[(((triple7) -> rule6) OR ((triple8) -> rule7))] Gary is round.[(((triple9) -> rule5))] Harry is white.[(((triple11 triple14) -> rule3))]