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