Bob is rough. Dave is cold. Harry is green. If someone is kind then they are big. All cold people are big. All kind people are big. If Dave is cold then Dave is rough. If Harry is kind and Harry is furry then Harry is big. All rough, cold people are furry. All cold people are kind. If someone is rough then they are not blue.
Harry is cold.
@0: Bob is rough.[(triple1)] Dave is cold.[(triple2)] Harry is green.[(triple3)] @1: Bob is not blue.[(((triple1) -> rule8))] Dave is big.[(((triple2) -> rule2) OR ((((triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule7)) -> rule3))] Dave is kind.[(((triple2) -> rule7))] Dave is rough.[(((triple2) -> rule4))] @2: Dave is furry.[(((((triple2) -> rule4) triple2) -> rule6))] Dave is not blue.[(((((triple2) -> rule4)) -> rule8))]