Anne is quiet. Anne is rough. Anne is round. Charlie is blue. Charlie is not nice. Charlie is not quiet. Charlie is round. Erin is nice. Erin is white. Harry is quiet. Harry is red. White things are rough. If Anne is nice then Anne is round. If Erin is white then Erin is nice. If something is quiet and blue then it is white. Red, quiet things are blue. Rough, blue things are round. If something is rough and round then it is nice. If Anne is nice and Anne is red then Anne is not quiet.
Anne is nice.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Charlie is blue.[(triple4)] Charlie is not nice.[(triple5)] Charlie is not quiet.[(triple6)] Charlie is round.[(triple7)] Erin is nice.[(triple8 OR ((triple9) -> rule3))] Erin is white.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] @1: Anne is nice.[(((triple2 triple3) -> rule7))] Erin is rough.[(((triple9) -> rule1))] Harry is blue.[(((triple11 triple10) -> rule5))] @2: Harry is white.[(((triple10 ((triple11 triple10) -> rule5)) -> rule4))] @3: Harry is rough.[(((((triple10 ((triple11 triple10) -> rule5)) -> rule4)) -> rule1))] @4: Harry is round.[(((((((triple10 ((triple11 triple10) -> rule5)) -> rule4)) -> rule1) ((triple11 triple10) -> rule5)) -> rule6))] @5: Harry is nice.[(((((((triple10 ((triple11 triple10) -> rule5)) -> rule4)) -> rule1) ((((((triple10 ((triple11 triple10) -> rule5)) -> rule4)) -> rule1) ((triple11 triple10) -> rule5)) -> rule6)) -> rule7))]