Anne is big. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is white. Erin is kind. Erin is red. Erin is white. Fiona is big. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. All cold, white people are quiet. If Fiona is white then Fiona is big. Rough people are cold. If Anne is big then Anne is rough. If someone is white then they are rough. Kind, cold people are red.
Erin is cold.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((((triple5) -> rule3) triple6) -> rule1) OR ((((((triple1) -> rule4)) -> rule3) triple6) -> rule1) OR ((((((triple6) -> rule5)) -> rule3) triple6) -> rule1))] Anne is red.[(triple4 OR ((triple2 ((triple5) -> rule3)) -> rule6) OR ((triple2 ((((triple1) -> rule4)) -> rule3)) -> rule6) OR ((triple2 ((((triple6) -> rule5)) -> rule3)) -> rule6))] Anne is rough.[(triple5 OR ((triple1) -> rule4) OR ((triple6) -> rule5))] Anne is white.[(triple6)] Erin is kind.[(triple7)] Erin is red.[(triple8 OR ((triple7 ((((triple9) -> rule5)) -> rule3)) -> rule6))] Erin is white.[(triple9)] Fiona is big.[(triple10 OR ((triple16) -> rule2))] Fiona is cold.[(triple11 OR ((triple15) -> rule3) OR ((((triple16) -> rule5)) -> rule3))] Fiona is kind.[(triple12)] Fiona is quiet.[(triple13 OR ((triple11 triple16) -> rule1) OR ((((triple15) -> rule3) triple16) -> rule1) OR ((((((triple16) -> rule5)) -> rule3) triple16) -> rule1))] Fiona is red.[(triple14 OR ((triple12 triple11) -> rule6) OR ((triple12 ((triple15) -> rule3)) -> rule6) OR ((triple12 ((((triple16) -> rule5)) -> rule3)) -> rule6))] Fiona is rough.[(triple15 OR ((triple16) -> rule5))] Fiona is white.[(triple16)] @1: Anne is cold.[(((triple5) -> rule3) OR ((((triple1) -> rule4)) -> rule3) OR ((((triple6) -> rule5)) -> rule3))] Erin is rough.[(((triple9) -> rule5))] @2: Erin is cold.[(((((triple9) -> rule5)) -> rule3))] @3: Erin is quiet.[(((((((triple9) -> rule5)) -> rule3) triple9) -> rule1))]