Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is white. Harry is big. Harry is cold. Harry is furry. Harry is smart. Harry is white. If something is nice and furry then it is smart. If Harry is white then Harry is furry. If something is smart then it is big.
Harry is nice.
@0: Dave is big.[(triple1 OR ((((triple4 triple2) -> rule1)) -> rule3))] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is white.[(triple5)] Harry is big.[(triple6 OR ((triple9) -> rule3))] Harry is cold.[(triple7)] Harry is furry.[(triple8 OR ((triple10) -> rule2))] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Dave is smart.[(((triple4 triple2) -> rule1))]