Erin is blue. Erin is rough. Erin is smart. Erin is young. Fiona is furry. Fiona is green. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Rough things are green. If something is rough and not young then it is green. All young things are green. If Erin is furry then Erin is smart. All round, green things are furry. Blue, furry things are smart.
Fiona is blue.
@0: Erin is blue.[(triple1)] Erin is rough.[(triple2)] Erin is smart.[(triple3)] Erin is young.[(triple4)] Fiona is furry.[(triple5 OR ((triple8 triple6) -> rule5) OR ((triple8 ((triple10) -> rule3)) -> rule5) OR ((triple8 ((triple7) -> rule1)) -> rule5))] Fiona is green.[(triple6 OR ((triple10) -> rule3) OR ((triple7) -> rule1))] Fiona is rough.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] @1: Erin is green.[(((triple2) -> rule1) OR ((triple4) -> rule3))]