Bob is furry. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Dave is furry. Dave is smart. Gary is kind. Gary is quiet. Gary is round. Harry is furry. Harry is round. If Bob is big then Bob is kind. All furry, kind people are round. All furry, kind people are cold. All kind, cold people are quiet. If someone is smart then they are quiet. Smart people are quiet.
Bob is not kind.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3 OR ((triple5) -> rule5) OR ((triple5) -> rule6) OR ((triple2 ((triple1 triple2) -> rule3)) -> rule4))] Bob is round.[(triple4 OR ((triple1 triple2) -> rule2))] Bob is smart.[(triple5)] Dave is furry.[(triple6)] Dave is smart.[(triple7)] Gary is kind.[(triple8)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] Harry is furry.[(triple11)] Harry is round.[(triple12)] @1: Bob is cold.[(((triple1 triple2) -> rule3))] Dave is quiet.[(((triple7) -> rule5) OR ((triple7) -> rule6))]