Anne is blue. Anne is kind. Anne is quiet. Anne is rough. Anne is white. Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Fiona is blue. Fiona is furry. Fiona is rough. Fiona is white. If something is white then it is furry. All kind, big things are furry. Quiet things are rough. All furry things are white. If Charlie is white and Charlie is rough then Charlie is kind. If Charlie is blue then Charlie is quiet.
Anne is big.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple3) -> rule3))] Anne is white.[(triple5)] Charlie is big.[(triple6)] Charlie is blue.[(triple7)] Charlie is furry.[(triple8 OR ((triple12) -> rule1) OR ((triple9 triple6) -> rule2) OR ((((triple12 triple11) -> rule5) triple6) -> rule2) OR ((((triple12 ((triple10) -> rule3)) -> rule5) triple6) -> rule2) OR ((((triple12 ((((triple7) -> rule6)) -> rule3)) -> rule5) triple6) -> rule2))] Charlie is kind.[(triple9 OR ((triple12 triple11) -> rule5) OR ((triple12 ((triple10) -> rule3)) -> rule5) OR ((((triple8) -> rule4) triple11) -> rule5) OR ((((triple8) -> rule4) ((triple10) -> rule3)) -> rule5) OR ((triple12 ((((triple7) -> rule6)) -> rule3)) -> rule5) OR ((((triple8) -> rule4) ((((triple7) -> rule6)) -> rule3)) -> rule5))] Charlie is quiet.[(triple10 OR ((triple7) -> rule6))] Charlie is rough.[(triple11 OR ((triple10) -> rule3) OR ((((triple7) -> rule6)) -> rule3))] Charlie is white.[(triple12 OR ((triple8) -> rule4) OR ((((triple9 triple6) -> rule2)) -> rule4))] Fiona is blue.[(triple13)] Fiona is furry.[(triple14 OR ((triple16) -> rule1))] Fiona is rough.[(triple15)] Fiona is white.[(triple16 OR ((triple14) -> rule4))] @1: Anne is furry.[(((triple5) -> rule1))]