Anne is furry. Anne is green. Anne is red. Anne is white. Anne is young. Bob is big. Bob is cold. Bob is furry. Bob is red. Bob is white. Bob is young. Harry is green. If something is furry then it is red. All furry things are white. If something is red and young then it is big. Red things are green. If something is furry and young then it is green. If something is big and cold then it is white.
Harry is furry.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2 OR ((triple3) -> rule4) OR ((triple1 triple5) -> rule5) OR ((((triple1) -> rule1)) -> rule4))] Anne is red.[(triple3 OR ((triple1) -> rule1))] Anne is white.[(triple4 OR ((triple1) -> rule2))] Anne is young.[(triple5)] Bob is big.[(triple6 OR ((triple9 triple11) -> rule3) OR ((((triple8) -> rule1) triple11) -> rule3))] Bob is cold.[(triple7)] Bob is furry.[(triple8)] Bob is red.[(triple9 OR ((triple8) -> rule1))] Bob is white.[(triple10 OR ((triple8) -> rule2) OR ((triple6 triple7) -> rule6) OR ((((triple9 triple11) -> rule3) triple7) -> rule6) OR ((((((triple8) -> rule1) triple11) -> rule3) triple7) -> rule6))] Bob is young.[(triple11)] Harry is green.[(triple12)] @1: Anne is big.[(((triple3 triple5) -> rule3) OR ((((triple1) -> rule1) triple5) -> rule3))] Bob is green.[(((triple9) -> rule4) OR ((triple8 triple11) -> rule5) OR ((((triple8) -> rule1)) -> rule4))]