Erin is nice. Erin is white. Harry is white. All nice things are round. All furry, white things are round. All blue things are round. If something is white then it is nice. If something is furry then it is big. If something is nice then it is furry. If something is white then it is not blue. If something is nice then it is not green.
Erin is not white.
@0: Erin is nice.[(triple1 OR ((triple2) -> rule4))] Erin is white.[(triple2)] Harry is white.[(triple3)] @1: Erin is furry.[(((triple1) -> rule6) OR ((((triple2) -> rule4)) -> rule6))] Erin is not blue.[(((triple2) -> rule7))] Erin is not green.[(((triple1) -> rule8) OR ((((triple2) -> rule4)) -> rule8))] Erin is round.[(((triple1) -> rule1) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple1) -> rule6) triple2) -> rule2) OR ((((((triple2) -> rule4)) -> rule6) triple2) -> rule2))] Harry is nice.[(((triple3) -> rule4))] Harry is not blue.[(((triple3) -> rule7))] @2: Erin is big.[(((((triple1) -> rule6)) -> rule5) OR ((((((triple2) -> rule4)) -> rule6)) -> rule5))] Harry is furry.[(((((triple3) -> rule4)) -> rule6))] Harry is not green.[(((((triple3) -> rule4)) -> rule8))] Harry is round.[(((((triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule4)) -> rule6) triple3) -> rule2))] @3: Harry is big.[(((((((triple3) -> rule4)) -> rule6)) -> rule5))]