Bob is not big. Bob is blue. Bob is furry. Bob is kind. Bob is not nice. Bob is round. Bob is white. Erin is big. Erin is blue. Erin is nice. Erin is white. Gary is blue. Gary is furry. Gary is round. Gary is white. If Erin is white then Erin is blue. If Bob is round and Bob is not big then Bob is furry. If Bob is round then Bob is kind. If Bob is white and Bob is nice then Bob is not blue. Blue people are white. If someone is nice and not white then they are furry.
Erin is not furry.
@0: Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple6 triple1) -> rule2))] Bob is kind.[(triple4 OR ((triple6) -> rule3))] Bob is not big.[(triple1)] Bob is not nice.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7 OR ((triple2) -> rule5))] Erin is big.[(triple8)] Erin is blue.[(triple9 OR ((triple11) -> rule1))] Erin is nice.[(triple10)] Erin is white.[(triple11 OR ((triple9) -> rule5))] Gary is blue.[(triple12)] Gary is furry.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15 OR ((triple12) -> rule5))]