Anne is green. Anne is rough. Dave is green. Erin is cold. Erin is red. Erin is young. Fiona is red. All red things are not green. All red things are cold. All quiet things are not nice. If Dave is not quiet then Dave is green. If Fiona is not green then Fiona is nice. All green, rough things are young. Green, young things are rough. All cold, nice things are rough.
Fiona is not young.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Dave is green.[(triple3)] Erin is cold.[(triple4 OR ((triple5) -> rule2))] Erin is red.[(triple5)] Erin is young.[(triple6)] Fiona is red.[(triple7)] @1: Anne is young.[(((triple1 triple2) -> rule6))] Erin is not green.[(((triple5) -> rule1))] Fiona is cold.[(((triple7) -> rule2))] Fiona is not green.[(((triple7) -> rule1))] @2: Fiona is nice.[(((((triple7) -> rule1)) -> rule5))] @3: Fiona is rough.[(((((triple7) -> rule2) ((((triple7) -> rule1)) -> rule5)) -> rule8))]