Erin is furry. Erin is green. Erin is round. Erin is not young. Fiona is blue. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is white. Fiona is not young. Harry is blue. Harry is not furry. Harry is green. Harry is red. Harry is young. All blue, white things are not young. If Harry is furry then Harry is green. If something is furry then it is green. Green things are red. Furry, young things are round. All young things are not white. If Fiona is blue then Fiona is red. All red things are blue.
Erin is blue.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2 OR ((triple1) -> rule3))] Erin is not young.[(triple4)] Erin is round.[(triple3)] Fiona is blue.[(triple5 OR ((triple8) -> rule8) OR ((((triple7) -> rule4)) -> rule8) OR ((((((triple6) -> rule3)) -> rule4)) -> rule8))] Fiona is furry.[(triple6)] Fiona is green.[(triple7 OR ((triple6) -> rule3))] Fiona is not young.[(triple11 OR ((triple5 triple10) -> rule1) OR ((((triple8) -> rule8) triple10) -> rule1) OR ((((((triple7) -> rule4)) -> rule8) triple10) -> rule1) OR ((((((((triple6) -> rule3)) -> rule4)) -> rule8) triple10) -> rule1))] Fiona is red.[(triple8 OR ((triple5) -> rule7) OR ((triple7) -> rule4) OR ((((triple6) -> rule3)) -> rule4))] Fiona is round.[(triple9)] Fiona is white.[(triple10)] Harry is blue.[(triple12 OR ((triple15) -> rule8) OR ((((triple14) -> rule4)) -> rule8))] Harry is green.[(triple14)] Harry is not furry.[(triple13)] Harry is red.[(triple15 OR ((triple14) -> rule4))] Harry is young.[(triple16)] @1: Erin is red.[(((triple2) -> rule4) OR ((((triple1) -> rule3)) -> rule4))] Harry is not white.[(((triple16) -> rule6))] @2: Erin is blue.[(((((triple2) -> rule4)) -> rule8) OR ((((((triple1) -> rule3)) -> rule4)) -> rule8))]