Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is white. All blue, white things are kind. All green things are cold. If Erin is quiet and Erin is white then Erin is big. Big things are blue. Green things are kind. If something is blue then it is white.
Fiona is not quiet.
@0: Erin is big.[(triple1 OR ((triple6 triple7) -> rule3) OR ((triple6 ((triple2) -> rule6)) -> rule3))] Erin is blue.[(triple2 OR ((triple1) -> rule4) OR ((((triple6 triple7) -> rule3)) -> rule4))] Erin is cold.[(triple3 OR ((triple4) -> rule2))] Erin is green.[(triple4)] Erin is kind.[(triple5 OR ((triple4) -> rule5) OR ((triple2 triple7) -> rule1) OR ((triple2 ((triple2) -> rule6)) -> rule1) OR ((((triple1) -> rule4) triple7) -> rule1) OR ((((triple1) -> rule4) ((triple2) -> rule6)) -> rule1) OR ((triple2 ((((triple1) -> rule4)) -> rule6)) -> rule1) OR ((((((triple6 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule6)) -> rule1) OR ((((((triple6 triple7) -> rule3)) -> rule4) ((triple2) -> rule6)) -> rule1) OR ((((((triple6 triple7) -> rule3)) -> rule4) ((((triple1) -> rule4)) -> rule6)) -> rule1))] Erin is quiet.[(triple6)] Erin is white.[(triple7 OR ((triple2) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple8) -> rule4))] Fiona is cold.[(triple10 OR ((triple11) -> rule2))] Fiona is green.[(triple11)] Fiona is kind.[(triple12 OR ((triple11) -> rule5) OR ((triple9 triple14) -> rule1) OR ((triple9 ((triple9) -> rule6)) -> rule1) OR ((((triple8) -> rule4) triple14) -> rule1) OR ((((triple8) -> rule4) ((triple9) -> rule6)) -> rule1) OR ((triple9 ((((triple8) -> rule4)) -> rule6)) -> rule1) OR ((((triple8) -> rule4) ((((triple8) -> rule4)) -> rule6)) -> rule1))] Fiona is quiet.[(triple13)] Fiona is white.[(triple14 OR ((triple9) -> rule6) OR ((((triple8) -> rule4)) -> rule6))]