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