Bob is smart. Dave is quiet. Dave is smart. Harry is blue. Harry is kind. Harry is quiet. Harry is smart. All furry people are nice. Quiet people are kind. If Bob is smart then Bob is quiet. All kind people are not furry. All kind people are quiet. Furry, nice people are quiet. If someone is kind and smart then they are white. If someone is nice and not furry then they are white.
Bob is nice.
@0: Bob is smart.[(triple1)] Dave is quiet.[(triple2)] Dave is smart.[(triple3)] Harry is blue.[(triple4)] Harry is kind.[(triple5 OR ((triple6) -> rule2))] Harry is quiet.[(triple6 OR ((triple5) -> rule5))] Harry is smart.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule3))] Dave is kind.[(((triple2) -> rule2))] Harry is not furry.[(((triple5) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] Harry is white.[(((triple5 triple7) -> rule7) OR ((((triple6) -> rule2) triple7) -> rule7))] @2: Bob is kind.[(((((triple1) -> rule3)) -> rule2))] Dave is not furry.[(((((triple2) -> rule2)) -> rule4))] Dave is white.[(((((triple2) -> rule2) triple3) -> rule7))] @3: Bob is not furry.[(((((((triple1) -> rule3)) -> rule2)) -> rule4))] Bob is white.[(((((((triple1) -> rule3)) -> rule2) triple1) -> rule7))]