Erin is blue. Erin is nice. Erin is red. Erin is rough. Fiona is blue. Fiona is quiet. Fiona is red. All rough, blue things are quiet. All red things are big. If something is big then it is cold. Rough, big things are blue. Rough, cold things are red. All cold things are rough.
Erin is not nice.
@0: Erin is blue.[(triple1 OR ((triple4 ((triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule2)) -> rule3)) -> rule6) ((triple3) -> rule2)) -> rule4))] Erin is nice.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4 OR ((((((triple3) -> rule2)) -> rule3)) -> rule6))] Fiona is blue.[(triple5 OR ((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((triple7) -> rule2)) -> rule4))] Fiona is quiet.[(triple6 OR ((((((((triple7) -> rule2)) -> rule3)) -> rule6) triple5) -> rule1) OR ((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((triple7) -> rule2)) -> rule4)) -> rule1))] Fiona is red.[(triple7)] @1: Erin is big.[(((triple3) -> rule2))] Erin is quiet.[(((triple4 triple1) -> rule1) OR ((triple4 ((triple4 ((triple3) -> rule2)) -> rule4)) -> rule1) OR ((((((((triple3) -> rule2)) -> rule3)) -> rule6) triple1) -> rule1) OR ((((((((triple3) -> rule2)) -> rule3)) -> rule6) ((triple4 ((triple3) -> rule2)) -> rule4)) -> rule1) OR ((triple4 ((((((((triple3) -> rule2)) -> rule3)) -> rule6) ((triple3) -> rule2)) -> rule4)) -> rule1) OR ((((((((triple3) -> rule2)) -> rule3)) -> rule6) ((((((((triple3) -> rule2)) -> rule3)) -> rule6) ((triple3) -> rule2)) -> rule4)) -> rule1))] Fiona is big.[(((triple7) -> rule2))] @2: Erin is cold.[(((((triple3) -> rule2)) -> rule3))] Fiona is cold.[(((((triple7) -> rule2)) -> rule3))] @3: Fiona is rough.[(((((((triple7) -> rule2)) -> rule3)) -> rule6))]