Anne is green. Anne is nice. Anne is rough. Fiona is big. Fiona is nice. Fiona is round. Fiona is white. All round, green things are nice. All round things are white. Big, furry things are rough. Green things are rough. All round things are green. White things are green.
Fiona is not white.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3 OR ((triple1) -> rule4))] Fiona is big.[(triple4)] Fiona is nice.[(triple5 OR ((triple6 ((triple6) -> rule5)) -> rule1) OR ((triple6 ((triple7) -> rule6)) -> rule1) OR ((triple6 ((((triple6) -> rule2)) -> rule6)) -> rule1))] Fiona is round.[(triple6)] Fiona is white.[(triple7 OR ((triple6) -> rule2))] @1: Fiona is green.[(((triple6) -> rule5) OR ((triple7) -> rule6) OR ((((triple6) -> rule2)) -> rule6))] @2: Fiona is rough.[(((((triple6) -> rule5)) -> rule4) OR ((((triple7) -> rule6)) -> rule4) OR ((((((triple6) -> rule2)) -> rule6)) -> rule4))]