Anne is big. Anne is blue. Anne is furry. Anne is nice. Anne is quiet. Anne is white. Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is white. Harry is big. Harry is furry. Harry is quiet. Harry is white. If something is white then it is furry. Nice, green things are big. If something is nice then it is quiet.
Harry is nice.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple6) -> rule1))] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple4) -> rule3))] Anne is white.[(triple6)] Charlie is blue.[(triple7)] Charlie is furry.[(triple8 OR ((triple11) -> rule1))] Charlie is green.[(triple9)] Charlie is nice.[(triple10)] Charlie is white.[(triple11)] Harry is big.[(triple12)] Harry is furry.[(triple13 OR ((triple15) -> rule1))] Harry is quiet.[(triple14)] Harry is white.[(triple15)] @1: Charlie is big.[(((triple10 triple9) -> rule2))] Charlie is quiet.[(((triple10) -> rule3))]