Erin is blue. Erin is rough. Erin is round. Erin is smart. Erin is white. Fiona is blue. Fiona is green. Fiona is round. Fiona is smart. Fiona is white. If Erin is white then Erin is green. Green, blue things are white. If something is round then it is white. If Erin is green then Erin is blue. Smart, rough things are white. All kind, round things are smart.
Erin is smart.
@0: Erin is blue.[(triple1 OR ((((triple5) -> rule1)) -> rule4) OR ((((((triple3) -> rule3)) -> rule1)) -> rule4) OR ((((((triple4 triple2) -> rule5)) -> rule1)) -> rule4))] Erin is rough.[(triple2)] Erin is round.[(triple3)] Erin is smart.[(triple4)] Erin is white.[(triple5 OR ((triple3) -> rule3) OR ((triple4 triple2) -> rule5))] Fiona is blue.[(triple6)] Fiona is green.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10 OR ((triple8) -> rule3) OR ((triple7 triple6) -> rule2))] @1: Erin is green.[(((triple5) -> rule1) OR ((((triple3) -> rule3)) -> rule1) OR ((((triple4 triple2) -> rule5)) -> rule1))]