Anne is blue. Anne is kind. Anne is rough. Anne is young. Erin is cold. Erin is kind. Erin is rough. Erin is young. Fiona is quiet. Fiona is rough. If something is quiet then it is young. Big things are kind. All quiet things are blue. If something is rough then it is big. If something is quiet then it is blue. If Erin is cold and Erin is big then Erin is quiet.
Anne is big.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((((triple3) -> rule4)) -> rule2))] Anne is rough.[(triple3)] Anne is young.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6 OR ((((triple7) -> rule4)) -> rule2))] Erin is rough.[(triple7)] Erin is young.[(triple8 OR ((((triple5 ((triple7) -> rule4)) -> rule6)) -> rule1))] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10)] @1: Anne is big.[(((triple3) -> rule4))] Erin is big.[(((triple7) -> rule4))] Fiona is big.[(((triple10) -> rule4))] Fiona is blue.[(((triple9) -> rule3) OR ((triple9) -> rule5))] Fiona is young.[(((triple9) -> rule1))] @2: Erin is quiet.[(((triple5 ((triple7) -> rule4)) -> rule6))] Fiona is kind.[(((((triple10) -> rule4)) -> rule2))] @3: Erin is blue.[(((((triple5 ((triple7) -> rule4)) -> rule6)) -> rule3) OR ((((triple5 ((triple7) -> rule4)) -> rule6)) -> rule5))]