Anne is blue. Erin is quiet. Fiona is big. Fiona is furry. Fiona is nice. Harry is furry. Harry is not rough. Round things are blue. If something is round and not big then it is not nice. Quiet things are nice. All blue, round things are nice. Nice, rough things are round. If something is furry then it is round. Furry, blue things are quiet. Nice things are furry. If something is round and blue then it is not rough.
Anne is not nice.
@0: Anne is blue.[(triple1)] Erin is quiet.[(triple2)] Fiona is big.[(triple3)] Fiona is furry.[(triple4 OR ((triple5) -> rule8))] Fiona is nice.[(triple5 OR ((((((triple4) -> rule6)) -> rule1) ((triple4) -> rule6)) -> rule4) OR ((((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule7)) -> rule3))] Harry is furry.[(triple6)] Harry is not rough.[(triple7 OR ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule1)) -> rule9))] @1: Erin is nice.[(((triple2) -> rule3))] Fiona is round.[(((triple4) -> rule6) OR ((((triple5) -> rule8)) -> rule6))] Harry is round.[(((triple6) -> rule6))] @2: Erin is furry.[(((((triple2) -> rule3)) -> rule8))] Fiona is blue.[(((((triple4) -> rule6)) -> rule1) OR ((((((triple5) -> rule8)) -> rule6)) -> rule1))] Harry is blue.[(((((triple6) -> rule6)) -> rule1))] @3: Erin is round.[(((((((triple2) -> rule3)) -> rule8)) -> rule6))] Fiona is not rough.[(((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule1)) -> rule9) OR ((((((triple5) -> rule8)) -> rule6) ((((triple4) -> rule6)) -> rule1)) -> rule9) OR ((((triple4) -> rule6) ((((((triple5) -> rule8)) -> rule6)) -> rule1)) -> rule9) OR ((((((triple5) -> rule8)) -> rule6) ((((((triple5) -> rule8)) -> rule6)) -> rule1)) -> rule9))] Fiona is quiet.[(((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule7) OR ((((triple5) -> rule8) ((((triple4) -> rule6)) -> rule1)) -> rule7) OR ((triple4 ((((((triple5) -> rule8)) -> rule6)) -> rule1)) -> rule7) OR ((((triple5) -> rule8) ((((((triple5) -> rule8)) -> rule6)) -> rule1)) -> rule7))] Harry is nice.[(((((((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((triple6 ((((triple6) -> rule6)) -> rule1)) -> rule7)) -> rule3))] Harry is quiet.[(((triple6 ((((triple6) -> rule6)) -> rule1)) -> rule7))] @4: Erin is blue.[(((((((((triple2) -> rule3)) -> rule8)) -> rule6)) -> rule1))] @5: Erin is not rough.[(((((((((triple2) -> rule3)) -> rule8)) -> rule6) ((((((((triple2) -> rule3)) -> rule8)) -> rule6)) -> rule1)) -> rule9))]