Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Harry is furry. Harry is quiet. Harry is red. Harry is white. If something is white then it is red. All kind, green things are red. If Bob is furry then Bob is smart.
Bob is furry.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple3 triple2) -> rule2))] Bob is smart.[(triple6 OR ((triple1) -> rule3))] Harry is furry.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9 OR ((triple10) -> rule1))] Harry is white.[(triple10)]