Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Erin is white. Fiona is furry. Fiona is not nice. Fiona is red. Gary is kind. Gary is quiet. Gary is red. If Fiona is smart and Fiona is kind then Fiona is nice. Kind, white people are furry. Furry people are white. Nice, white people are smart. If someone is nice then they are quiet. If someone is quiet and not white then they are not red.
Erin is not quiet.
@0: Erin is furry.[(triple1 OR ((triple2 triple6) -> rule2))] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple3) -> rule5))] Erin is smart.[(triple5 OR ((triple3 triple6) -> rule4) OR ((triple3 ((triple1) -> rule3)) -> rule4))] Erin is white.[(triple6 OR ((triple1) -> rule3))] Fiona is furry.[(triple7)] Fiona is not nice.[(triple8)] Fiona is red.[(triple9)] Gary is kind.[(triple10)] Gary is quiet.[(triple11)] Gary is red.[(triple12)] @1: Fiona is white.[(((triple7) -> rule3))]