Anne is not green. Anne is rough. Bob is blue. Bob is quiet. Dave is not blue. Fiona is not blue. Fiona is nice. If something is green and rough then it is not blue. All nice, kind things are rough. All blue, nice things are not rough. All nice things are green. If something is white then it is green. All green things are kind. All rough things are not white. Blue things are not nice. If something is nice and not white then it is quiet.
Fiona is not kind.
@0: Anne is not green.[(triple1)] Anne is rough.[(triple2)] Bob is blue.[(triple3)] Bob is quiet.[(triple4)] Dave is not blue.[(triple5)] Fiona is nice.[(triple7)] Fiona is not blue.[(triple6 OR ((((triple7) -> rule4) ((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule1))] @1: Anne is not white.[(((triple2) -> rule7))] Bob is not nice.[(((triple3) -> rule8))] Fiona is green.[(((triple7) -> rule4))] @2: Fiona is kind.[(((((triple7) -> rule4)) -> rule6))] @3: Fiona is rough.[(((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule2))] @4: Fiona is not white.[(((((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule7))] @5: Fiona is quiet.[(((triple7 ((((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule7)) -> rule9))]