Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is rough. Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is rough. If something is rough and green then it is furry. Green things are rough. If something is cold and furry then it is big.
Anne is kind.
@0: Anne is big.[(triple1 OR ((triple3 triple4) -> rule3) OR ((triple3 ((triple7 triple5) -> rule1)) -> rule3) OR ((triple3 ((((triple5) -> rule2) triple5) -> rule1)) -> rule3))] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4 OR ((triple7 triple5) -> rule1) OR ((((triple5) -> rule2) triple5) -> rule1))] Anne is green.[(triple5)] Anne is kind.[(triple6)] Anne is rough.[(triple7 OR ((triple5) -> rule2))] Bob is big.[(triple8 OR ((triple10 triple11) -> rule3) OR ((triple10 ((triple14 triple12) -> rule1)) -> rule3) OR ((triple10 ((((triple12) -> rule2) triple12) -> rule1)) -> rule3))] Bob is blue.[(triple9)] Bob is cold.[(triple10)] Bob is furry.[(triple11 OR ((triple14 triple12) -> rule1) OR ((((triple12) -> rule2) triple12) -> rule1))] Bob is green.[(triple12)] Bob is kind.[(triple13)] Bob is rough.[(triple14 OR ((triple12) -> rule2))]