Anne is big. Anne is smart. Bob is cold. Bob is green. Bob is nice. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is young. Harry is big. Harry is green. Harry is nice. Harry is young. If Charlie is big then Charlie is green. If someone is big then they are cold.
Harry is big.
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is nice.[(triple5)] Charlie is big.[(triple6)] Charlie is cold.[(triple7 OR ((triple6) -> rule2))] Charlie is furry.[(triple8)] Charlie is green.[(triple9 OR ((triple6) -> rule1))] Charlie is nice.[(triple10)] Charlie is young.[(triple11)] Harry is big.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is young.[(triple15)] @1: Anne is cold.[(((triple1) -> rule2))] Harry is cold.[(((triple12) -> rule2))]