Bob is big. Bob is furry. Bob is nice. Dave is furry. Dave is red. Harry is big. Harry is furry. Harry is nice. Harry is red. Harry is smart. If Bob is red then Bob is smart. All furry, big people are smart. Cold people are big. Furry, big people are nice. Furry people are cold. Rough people are nice.
Dave is not rough.
@0: Bob is big.[(triple1 OR ((((triple2) -> rule5)) -> rule3))] Bob is furry.[(triple2)] Bob is nice.[(triple3 OR ((triple2 triple1) -> rule4) OR ((triple2 ((((triple2) -> rule5)) -> rule3)) -> rule4))] Dave is furry.[(triple4)] Dave is red.[(triple5)] Harry is big.[(triple6 OR ((((triple7) -> rule5)) -> rule3))] Harry is furry.[(triple7)] Harry is nice.[(triple8 OR ((triple7 triple6) -> rule4) OR ((triple7 ((((triple7) -> rule5)) -> rule3)) -> rule4))] Harry is red.[(triple9)] Harry is smart.[(triple10 OR ((triple7 triple6) -> rule2) OR ((triple7 ((((triple7) -> rule5)) -> rule3)) -> rule2))] @1: Bob is cold.[(((triple2) -> rule5))] Bob is smart.[(((triple2 triple1) -> rule2) OR ((triple2 ((((triple2) -> rule5)) -> rule3)) -> rule2))] Dave is cold.[(((triple4) -> rule5))] Harry is cold.[(((triple7) -> rule5))] @2: Dave is big.[(((((triple4) -> rule5)) -> rule3))] @3: Dave is nice.[(((triple4 ((((triple4) -> rule5)) -> rule3)) -> rule4))] Dave is smart.[(((triple4 ((((triple4) -> rule5)) -> rule3)) -> rule2))]