Anne is big. Anne is blue. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is white. Harry is big. Harry is blue. Harry is nice. Harry is quiet. Harry is white. If Anne is blue then Anne is quiet. White people are quiet. If Anne is rough and Anne is big then Anne is white. All blue, white people are red. Big, white people are blue. Red people are white.
Harry is quiet.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple1 triple7) -> rule5) OR ((triple1 ((triple5) -> rule6)) -> rule5) OR ((triple1 ((triple6 triple1) -> rule3)) -> rule5))] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple2) -> rule1) OR ((triple7) -> rule2) OR ((((triple5) -> rule6)) -> rule2) OR ((((triple1 triple7) -> rule5)) -> rule1) OR ((((triple6 triple1) -> rule3)) -> rule2) OR ((((triple1 ((triple5) -> rule6)) -> rule5)) -> rule1) OR ((((triple1 ((triple6 triple1) -> rule3)) -> rule5)) -> rule1))] Anne is red.[(triple5 OR ((triple2 triple7) -> rule4) OR ((triple2 ((triple6 triple1) -> rule3)) -> rule4) OR ((((triple1 triple7) -> rule5) triple7) -> rule4) OR ((((triple1 triple7) -> rule5) ((triple6 triple1) -> rule3)) -> rule4) OR ((((triple1 ((triple6 triple1) -> rule3)) -> rule5) triple7) -> rule4) OR ((((triple1 ((triple6 triple1) -> rule3)) -> rule5) ((triple6 triple1) -> rule3)) -> rule4))] Anne is rough.[(triple6)] Anne is white.[(triple7 OR ((triple5) -> rule6) OR ((triple6 triple1) -> rule3))] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple8 triple12) -> rule5))] Harry is nice.[(triple10)] Harry is quiet.[(triple11 OR ((triple12) -> rule2))] Harry is white.[(triple12)] @1: Harry is red.[(((triple9 triple12) -> rule4) OR ((((triple8 triple12) -> rule5) triple12) -> rule4))]