Bob is big. Bob is not blue. Bob is furry. Bob is green. Bob is red. Bob is not rough. Bob is white. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is red. Erin is rough. Erin is not white. All furry, rough people are red. Blue people are big. If Bob is white then Bob is big. If someone is rough then they are blue. All rough, green people are furry. If Erin is big and Erin is blue then Erin is red. If Erin is not furry and Erin is not white then Erin is red. If Erin is green and Erin is big then Erin is red.
Erin is not big.
@0: Bob is big.[(triple1 OR ((triple7) -> rule3))] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is not blue.[(triple2)] Bob is not rough.[(triple6)] Bob is red.[(triple5)] Bob is white.[(triple7)] Erin is big.[(triple8 OR ((triple9) -> rule2) OR ((((triple13) -> rule4)) -> rule2))] Erin is blue.[(triple9 OR ((triple13) -> rule4))] Erin is furry.[(triple10 OR ((triple13 triple11) -> rule5))] Erin is green.[(triple11)] Erin is not white.[(triple14)] Erin is red.[(triple12 OR ((triple10 triple13) -> rule1) OR ((triple11 triple8) -> rule8) OR ((triple8 triple9) -> rule6) OR ((triple11 ((triple9) -> rule2)) -> rule8) OR ((triple8 ((triple13) -> rule4)) -> rule6) OR ((((triple9) -> rule2) triple9) -> rule6) OR ((((triple13 triple11) -> rule5) triple13) -> rule1) OR ((((triple9) -> rule2) ((triple13) -> rule4)) -> rule6) OR ((triple11 ((((triple13) -> rule4)) -> rule2)) -> rule8) OR ((((((triple13) -> rule4)) -> rule2) triple9) -> rule6) OR ((((((triple13) -> rule4)) -> rule2) ((triple13) -> rule4)) -> rule6))] Erin is rough.[(triple13)]