Anne is smart. Bob is big. Dave is kind. Harry is furry. If Bob is big and Bob is white then Bob is round. Kind people are furry. Young people are smart. If Dave is white then Dave is kind. All big people are furry. All big people are smart. Round people are big. All furry people are young.
Bob is furry.
@0: Anne is smart.[(triple1)] Bob is big.[(triple2)] Dave is kind.[(triple3)] Harry is furry.[(triple4)] @1: Bob is furry.[(((triple2) -> rule5))] Bob is smart.[(((triple2) -> rule6) OR ((((((triple2) -> rule5)) -> rule8)) -> rule3))] Dave is furry.[(((triple3) -> rule2))] Harry is young.[(((triple4) -> rule8))] @2: Bob is young.[(((((triple2) -> rule5)) -> rule8))] Dave is young.[(((((triple3) -> rule2)) -> rule8))] Harry is smart.[(((((triple4) -> rule8)) -> rule3))] @3: Dave is smart.[(((((((triple3) -> rule2)) -> rule8)) -> rule3))]