Anne is blue. Anne is cold. Anne is not nice. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is not quiet. Erin is round. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. If Fiona is nice then Fiona is cold. All nice things are cold. If something is nice and not round then it is cold. All rough, quiet things are cold. If something is green then it is blue. If something is round then it is nice. Round, blue things are nice. Green things are rough.
Anne is cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is not nice.[(triple3)] Erin is blue.[(triple4 OR ((triple6) -> rule5))] Erin is cold.[(triple5 OR ((triple7) -> rule2) OR ((((triple9) -> rule6)) -> rule2) OR ((((triple9 triple4) -> rule7)) -> rule2) OR ((((triple9 ((triple6) -> rule5)) -> rule7)) -> rule2))] Erin is green.[(triple6)] Erin is nice.[(triple7 OR ((triple9) -> rule6) OR ((triple9 triple4) -> rule7) OR ((triple9 ((triple6) -> rule5)) -> rule7))] Erin is not quiet.[(triple8)] Erin is round.[(triple9)] Fiona is cold.[(triple10 OR ((triple12) -> rule1) OR ((triple12) -> rule2) OR ((triple14 triple13) -> rule4) OR ((((triple15) -> rule6)) -> rule1) OR ((((triple15) -> rule6)) -> rule2) OR ((((triple11) -> rule8) triple13) -> rule4) OR ((((triple15 ((triple11) -> rule5)) -> rule7)) -> rule1) OR ((((triple15 ((triple11) -> rule5)) -> rule7)) -> rule2))] Fiona is green.[(triple11)] Fiona is nice.[(triple12 OR ((triple15) -> rule6) OR ((triple15 ((triple11) -> rule5)) -> rule7))] Fiona is quiet.[(triple13)] Fiona is rough.[(triple14 OR ((triple11) -> rule8))] Fiona is round.[(triple15)] @1: Erin is rough.[(((triple6) -> rule8))] Fiona is blue.[(((triple11) -> rule5))]