Erin is big. Erin is white. Fiona is big. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. If something is round then it is red. If Erin is big then Erin is round. All round, red things are big. Green things are big. All red, white things are young. If something is big and smart then it is white. All green things are red. If something is round then it is red.
Fiona is not big.
@0: Erin is big.[(triple1)] Erin is white.[(triple2)] Fiona is big.[(triple3 OR ((triple4 ((triple4) -> rule1)) -> rule3) OR ((triple4 ((triple4) -> rule8)) -> rule3))] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6 OR ((triple3 triple5) -> rule6) OR ((((triple4 ((triple4) -> rule1)) -> rule3) triple5) -> rule6) OR ((((triple4 ((triple4) -> rule8)) -> rule3) triple5) -> rule6))] Fiona is young.[(triple7 OR ((((triple4) -> rule1) triple6) -> rule5) OR ((((triple4) -> rule8) triple6) -> rule5) OR ((((triple4) -> rule1) ((triple3 triple5) -> rule6)) -> rule5) OR ((((triple4) -> rule8) ((triple3 triple5) -> rule6)) -> rule5) OR ((((triple4) -> rule1) ((((triple4 ((triple4) -> rule1)) -> rule3) triple5) -> rule6)) -> rule5) OR ((((triple4) -> rule1) ((((triple4 ((triple4) -> rule8)) -> rule3) triple5) -> rule6)) -> rule5) OR ((((triple4) -> rule8) ((((triple4 ((triple4) -> rule1)) -> rule3) triple5) -> rule6)) -> rule5) OR ((((triple4) -> rule8) ((((triple4 ((triple4) -> rule8)) -> rule3) triple5) -> rule6)) -> rule5))] @1: Erin is round.[(((triple1) -> rule2))] Fiona is red.[(((triple4) -> rule1) OR ((triple4) -> rule8))] @2: Erin is red.[(((((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule2)) -> rule8))] @3: Erin is young.[(((((((triple1) -> rule2)) -> rule1) triple2) -> rule5) OR ((((((triple1) -> rule2)) -> rule8) triple2) -> rule5))]