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