Anne is green. Fiona is cold. Fiona is green. If Fiona is rough and Fiona is not green then Fiona is not nice. If something is round and rough then it is cold. All cold things are not nice. If Anne is nice then Anne is green. If something is green then it is round. All cold things are not white. All round, green things are rough. If something is white and not rough then it is not red.
Fiona is cold.
@0: Anne is green.[(triple1)] Fiona is cold.[(triple2 OR ((((triple3) -> rule5) ((((triple3) -> rule5) triple3) -> rule7)) -> rule2))] Fiona is green.[(triple3)] @1: Anne is round.[(((triple1) -> rule5))] Fiona is not nice.[(((triple2) -> rule3) OR ((((((triple3) -> rule5) ((((triple3) -> rule5) triple3) -> rule7)) -> rule2)) -> rule3))] Fiona is not white.[(((triple2) -> rule6) OR ((((((triple3) -> rule5) ((((triple3) -> rule5) triple3) -> rule7)) -> rule2)) -> rule6))] Fiona is round.[(((triple3) -> rule5))] @2: Anne is rough.[(((((triple1) -> rule5) triple1) -> rule7))] Fiona is rough.[(((((triple3) -> rule5) triple3) -> rule7))] @3: Anne is cold.[(((((triple1) -> rule5) ((((triple1) -> rule5) triple1) -> rule7)) -> rule2))] @4: Anne is not nice.[(((((((triple1) -> rule5) ((((triple1) -> rule5) triple1) -> rule7)) -> rule2)) -> rule3))] Anne is not white.[(((((((triple1) -> rule5) ((((triple1) -> rule5) triple1) -> rule7)) -> rule2)) -> rule6))]