Anne is furry. Charlie is big. Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is rough. All green, nice things are quiet. If something is quiet and big then it is furry.
Charlie is not cold.
@0: Anne is furry.[(triple1)] Charlie is big.[(triple2)] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6 OR ((triple4 triple5) -> rule1))] Charlie is rough.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is nice.[(triple11)] Harry is rough.[(triple12)] @1: Charlie is furry.[(((triple6 triple2) -> rule2) OR ((((triple4 triple5) -> rule1) triple2) -> rule2))] Harry is quiet.[(((triple10 triple11) -> rule1))]