Anne is blue. Anne is furry. Anne is red. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is round. Harry is furry. Harry is green. Harry is red. Harry is rough. If Anne is furry then Anne is round. If something is red then it is round. If something is furry and green then it is red.
Charlie is rough.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] Charlie is blue.[(triple4)] Charlie is furry.[(triple5)] Charlie is quiet.[(triple6)] Charlie is red.[(triple7)] Charlie is round.[(triple8 OR ((triple7) -> rule2))] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is red.[(triple11 OR ((triple9 triple10) -> rule3))] Harry is rough.[(triple12)] @1: Anne is round.[(((triple2) -> rule1) OR ((triple3) -> rule2))] Harry is round.[(((triple11) -> rule2) OR ((((triple9 triple10) -> rule3)) -> rule2))]