Anne is cold. Anne is nice. Erin is big. Erin is rough. Fiona is green. Fiona is nice. Fiona is young. All cold, green people are young. All kind, cold people are young. Kind, cold people are green. All nice, cold people are green. All cold people are green. All rough, big people are nice. If Fiona is big and Fiona is young then Fiona is cold. If Anne is green then Anne is young.
Anne is not nice.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Erin is big.[(triple3)] Erin is rough.[(triple4)] Fiona is green.[(triple5)] Fiona is nice.[(triple6)] Fiona is young.[(triple7)] @1: Anne is green.[(((triple1) -> rule5) OR ((triple2 triple1) -> rule4))] Erin is nice.[(((triple4 triple3) -> rule6))] @2: Anne is young.[(((((triple1) -> rule5)) -> rule8) OR ((((triple2 triple1) -> rule4)) -> rule8) OR ((triple1 ((triple1) -> rule5)) -> rule1) OR ((triple1 ((triple2 triple1) -> rule4)) -> rule1))]