Charlie is not blue. Charlie is furry. Charlie is not nice. Charlie is quiet. Charlie is white. Erin is blue. Erin is furry. Erin is nice. Erin is quiet. Erin is white. Fiona is big. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is red. Fiona is white. Quiet people are red. If someone is quiet then they are not big. All big, nice people are blue. If Erin is quiet and Erin is not red then Erin is blue. If someone is big and not quiet then they are nice. If someone is blue and not quiet then they are nice. If someone is quiet and not nice then they are furry. If Erin is blue and Erin is furry then Erin is white.
Erin is big.
@0: Charlie is furry.[(triple2 OR ((triple4 triple3) -> rule7))] Charlie is not blue.[(triple1)] Charlie is not nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is white.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7)] Erin is nice.[(triple8)] Erin is quiet.[(triple9)] Erin is white.[(triple10 OR ((triple6 triple7) -> rule8))] Fiona is big.[(triple11)] Fiona is blue.[(triple12 OR ((triple11 triple14) -> rule3))] Fiona is furry.[(triple13)] Fiona is nice.[(triple14)] Fiona is red.[(triple15)] Fiona is white.[(triple16)] @1: Charlie is not big.[(((triple4) -> rule2))] Charlie is red.[(((triple4) -> rule1))] Erin is not big.[(((triple9) -> rule2))] Erin is red.[(((triple9) -> rule1))]