Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is white. Harry is rough. Harry is round. If something is red and blue then it is round. If Erin is red and Erin is white then Erin is blue. All red, white things are round. If Erin is round and Erin is rough then Erin is blue. All nice, rough things are red. If something is round and red then it is furry.
Erin is not red.
@0: Erin is nice.[(triple1)] Erin is red.[(triple2 OR ((triple1 triple3) -> rule5))] Erin is rough.[(triple3)] Erin is round.[(triple4 OR ((triple2 triple5) -> rule3) OR ((triple2 ((triple2 triple5) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule5) triple5) -> rule3) OR ((((triple1 triple3) -> rule5) ((triple2 triple5) -> rule2)) -> rule1) OR ((triple2 ((((triple1 triple3) -> rule5) triple5) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule5) ((((triple1 triple3) -> rule5) triple5) -> rule2)) -> rule1))] Erin is white.[(triple5)] Harry is rough.[(triple6)] Harry is round.[(triple7)] @1: Erin is blue.[(((triple2 triple5) -> rule2) OR ((triple4 triple3) -> rule4) OR ((((triple1 triple3) -> rule5) triple5) -> rule2) OR ((((triple2 triple5) -> rule3) triple3) -> rule4) OR ((((((triple1 triple3) -> rule5) triple5) -> rule3) triple3) -> rule4))] Erin is furry.[(((triple4 triple2) -> rule6) OR ((triple4 ((triple1 triple3) -> rule5)) -> rule6) OR ((((triple2 triple5) -> rule3) triple2) -> rule6) OR ((((triple2 triple5) -> rule3) ((triple1 triple3) -> rule5)) -> rule6) OR ((((triple2 ((triple2 triple5) -> rule2)) -> rule1) triple2) -> rule6) OR ((((((triple1 triple3) -> rule5) triple5) -> rule3) triple2) -> rule6) OR ((((triple2 ((triple2 triple5) -> rule2)) -> rule1) ((triple1 triple3) -> rule5)) -> rule6) OR ((((((triple1 triple3) -> rule5) triple5) -> rule3) ((triple1 triple3) -> rule5)) -> rule6) OR ((((((triple1 triple3) -> rule5) ((triple2 triple5) -> rule2)) -> rule1) triple2) -> rule6) OR ((((((triple1 triple3) -> rule5) ((triple2 triple5) -> rule2)) -> rule1) ((triple1 triple3) -> rule5)) -> rule6) OR ((((triple2 ((((triple1 triple3) -> rule5) triple5) -> rule2)) -> rule1) triple2) -> rule6) OR ((((triple2 ((((triple1 triple3) -> rule5) triple5) -> rule2)) -> rule1) ((triple1 triple3) -> rule5)) -> rule6) OR ((((((triple1 triple3) -> rule5) ((((triple1 triple3) -> rule5) triple5) -> rule2)) -> rule1) triple2) -> rule6) OR ((((((triple1 triple3) -> rule5) ((((triple1 triple3) -> rule5) triple5) -> rule2)) -> rule1) ((triple1 triple3) -> rule5)) -> rule6))]