Anne is big. Anne is cold. Anne is rough. Charlie is big. Charlie is blue. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is rough. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is rough. All rough things are furry. All blue things are rough. Big, furry things are cold.
Harry is young.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple1 ((triple3) -> rule1)) -> rule3))] Anne is rough.[(triple3)] Charlie is big.[(triple4)] Charlie is blue.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is cold.[(triple8 OR ((triple6 triple9) -> rule3) OR ((triple6 ((triple11) -> rule1)) -> rule3) OR ((triple6 ((((triple7) -> rule2)) -> rule1)) -> rule3))] Dave is furry.[(triple9 OR ((triple11) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Dave is green.[(triple10)] Dave is rough.[(triple11 OR ((triple7) -> rule2))] Harry is big.[(triple12)] Harry is blue.[(triple13)] Harry is cold.[(triple14 OR ((triple12 triple15) -> rule3) OR ((triple12 ((triple16) -> rule1)) -> rule3) OR ((triple12 ((((triple13) -> rule2)) -> rule1)) -> rule3))] Harry is furry.[(triple15 OR ((triple16) -> rule1) OR ((((triple13) -> rule2)) -> rule1))] Harry is rough.[(triple16 OR ((triple13) -> rule2))] @1: Anne is furry.[(((triple3) -> rule1))] Charlie is rough.[(((triple5) -> rule2))] @2: Charlie is furry.[(((((triple5) -> rule2)) -> rule1))] @3: Charlie is cold.[(((triple4 ((((triple5) -> rule2)) -> rule1)) -> rule3))]