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