Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is round. Anne is white. Charlie is kind. Gary is blue. Gary is furry. Gary is kind. Gary is not red. Harry is big. Harry is furry. Harry is kind. Harry is red. Harry is round. Kind, big things are round. Blue things are big.
Gary is round.
@0: Anne is big.[(triple1 OR ((triple2) -> rule2))] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Anne is round.[(triple5 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple2) -> rule2)) -> rule1))] Anne is white.[(triple6)] Charlie is kind.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is not red.[(triple11)] Harry is big.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is red.[(triple15)] Harry is round.[(triple16 OR ((triple14 triple12) -> rule1))] @1: Gary is big.[(((triple8) -> rule2))] @2: Gary is round.[(((triple10 ((triple8) -> rule2)) -> rule1))]