Anne is not kind. Anne is not quiet. Erin is big. Fiona is kind. Gary is furry. Gary is white. Gary is young. White things are kind. All red things are kind. If Erin is kind and Erin is furry then Erin is not quiet. White things are big. If something is young and red then it is not quiet. All kind things are white. If something is red then it is young. All big things are young.
Erin is not white.
@0: Anne is not kind.[(triple1)] Anne is not quiet.[(triple2)] Erin is big.[(triple3)] Fiona is kind.[(triple4)] Gary is furry.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((((triple6) -> rule4)) -> rule8))] @1: Erin is young.[(((triple3) -> rule8))] Fiona is white.[(((triple4) -> rule6))] Gary is big.[(((triple6) -> rule4))] Gary is kind.[(((triple6) -> rule1))] @2: Fiona is big.[(((((triple4) -> rule6)) -> rule4))] @3: Fiona is young.[(((((((triple4) -> rule6)) -> rule4)) -> rule8))]