Erin is big. Erin is blue. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is round. If someone is round and quiet then they are blue. If someone is round and nice then they are blue. If someone is furry then they are big. If Erin is quiet then Erin is nice. Red, quiet people are furry. All furry, quiet people are red. If Erin is blue and Erin is nice then Erin is red. All nice people are furry.
Erin is not furry.
@0: Erin is big.[(triple1 OR ((triple3) -> rule3) OR ((((triple4) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule8)) -> rule3) OR ((((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule3) OR ((((((triple2 ((triple5) -> rule4)) -> rule7) triple5) -> rule5)) -> rule3) OR ((((((((triple7 triple4) -> rule2) triple4) -> rule7) triple5) -> rule5)) -> rule3) OR ((((((((triple7 triple5) -> rule1) triple4) -> rule7) triple5) -> rule5)) -> rule3) OR ((((((((triple7 triple4) -> rule2) ((triple5) -> rule4)) -> rule7) triple5) -> rule5)) -> rule3) OR ((((((((triple7 triple5) -> rule1) ((triple5) -> rule4)) -> rule7) triple5) -> rule5)) -> rule3) OR ((((((((triple7 ((triple5) -> rule4)) -> rule2) triple4) -> rule7) triple5) -> rule5)) -> rule3) OR ((((((((triple7 ((triple5) -> rule4)) -> rule2) ((triple5) -> rule4)) -> rule7) triple5) -> rule5)) -> rule3))] Erin is blue.[(triple2 OR ((triple7 triple4) -> rule2) OR ((triple7 triple5) -> rule1) OR ((triple7 ((triple5) -> rule4)) -> rule2))] Erin is furry.[(triple3 OR ((triple4) -> rule8) OR ((triple6 triple5) -> rule5) OR ((((triple5) -> rule4)) -> rule8) OR ((((triple2 triple4) -> rule7) triple5) -> rule5) OR ((((triple2 ((triple5) -> rule4)) -> rule7) triple5) -> rule5) OR ((((((triple7 triple4) -> rule2) triple4) -> rule7) triple5) -> rule5) OR ((((((triple7 triple5) -> rule1) triple4) -> rule7) triple5) -> rule5) OR ((((((triple7 triple4) -> rule2) ((triple5) -> rule4)) -> rule7) triple5) -> rule5) OR ((((((triple7 triple5) -> rule1) ((triple5) -> rule4)) -> rule7) triple5) -> rule5) OR ((((((triple7 ((triple5) -> rule4)) -> rule2) triple4) -> rule7) triple5) -> rule5) OR ((((((triple7 ((triple5) -> rule4)) -> rule2) ((triple5) -> rule4)) -> rule7) triple5) -> rule5))] Erin is nice.[(triple4 OR ((triple5) -> rule4))] Erin is quiet.[(triple5)] Erin is red.[(triple6 OR ((triple2 triple4) -> rule7) OR ((triple3 triple5) -> rule6) OR ((triple2 ((triple5) -> rule4)) -> rule7) OR ((((triple4) -> rule8) triple5) -> rule6) OR ((((triple7 triple4) -> rule2) triple4) -> rule7) OR ((((triple7 triple5) -> rule1) triple4) -> rule7) OR ((((triple7 triple4) -> rule2) ((triple5) -> rule4)) -> rule7) OR ((((triple7 triple5) -> rule1) ((triple5) -> rule4)) -> rule7) OR ((((((triple5) -> rule4)) -> rule8) triple5) -> rule6) OR ((((triple7 ((triple5) -> rule4)) -> rule2) triple4) -> rule7) OR ((((triple7 ((triple5) -> rule4)) -> rule2) ((triple5) -> rule4)) -> rule7))] Erin is round.[(triple7)]