Anne is white. Bob is kind. Bob is red. Bob is smart. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is white. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is white. If someone is quiet and white then they are furry. If someone is white and furry then they are red. If Erin is kind then Erin is red. If Anne is smart then Anne is white. All furry people are smart. If Bob is nice then Bob is white.
Bob is not white.
@0: Anne is white.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is smart.[(triple4)] Erin is furry.[(triple5 OR ((triple8 triple11) -> rule1))] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9 OR ((triple6) -> rule3) OR ((triple11 triple5) -> rule2) OR ((triple11 ((triple8 triple11) -> rule1)) -> rule2))] Erin is smart.[(triple10 OR ((triple5) -> rule5) OR ((((triple8 triple11) -> rule1)) -> rule5))] Erin is white.[(triple11)] Fiona is furry.[(triple12 OR ((triple14 triple15) -> rule1))] Fiona is nice.[(triple13)] Fiona is quiet.[(triple14)] Fiona is white.[(triple15)] @1: Fiona is red.[(((triple15 triple12) -> rule2) OR ((triple15 ((triple14 triple15) -> rule1)) -> rule2))] Fiona is smart.[(((triple12) -> rule5) OR ((((triple14 triple15) -> rule1)) -> rule5))]