Erin is furry. Erin is kind. Erin is nice. Erin is white. Fiona is cold. Fiona is red. Fiona is white. Blue people are red. If someone is nice and blue then they are red. If someone is white and red then they are kind. All furry people are nice. If someone is blue then they are cold. All nice people are red.
Fiona is not nice.
@0: Erin is furry.[(triple1)] Erin is kind.[(triple2 OR ((triple4 ((triple3) -> rule6)) -> rule3) OR ((triple4 ((((triple1) -> rule4)) -> rule6)) -> rule3))] Erin is nice.[(triple3 OR ((triple1) -> rule4))] Erin is white.[(triple4)] Fiona is cold.[(triple5)] Fiona is red.[(triple6)] Fiona is white.[(triple7)] @1: Erin is red.[(((triple3) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] Fiona is kind.[(((triple7 triple6) -> rule3))]