Anne is cold. Anne is green. Bob is big. Bob is cold. Bob is kind. Dave is cold. Dave is green. Dave is nice. Harry is furry. Harry is green. Green people are big. Nice, big people are furry. All big, blue people are nice. If someone is big and furry then they are nice. If Harry is cold then Harry is nice. All kind people are cold. All nice people are cold. If Harry is furry then Harry is green.
Harry is not big.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Bob is big.[(triple3)] Bob is cold.[(triple4 OR ((triple5) -> rule6))] Bob is kind.[(triple5)] Dave is cold.[(triple6 OR ((triple8) -> rule7))] Dave is green.[(triple7)] Dave is nice.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10 OR ((triple9) -> rule8))] @1: Anne is big.[(((triple2) -> rule1))] Dave is big.[(((triple7) -> rule1))] Harry is big.[(((triple10) -> rule1) OR ((((triple9) -> rule8)) -> rule1))] @2: Dave is furry.[(((triple8 ((triple7) -> rule1)) -> rule2))] Harry is nice.[(((((triple10) -> rule1) triple9) -> rule4) OR ((((((triple9) -> rule8)) -> rule1) triple9) -> rule4))] @3: Harry is cold.[(((((((triple10) -> rule1) triple9) -> rule4)) -> rule7) OR ((((((((triple9) -> rule8)) -> rule1) triple9) -> rule4)) -> rule7))]