Anne is cold. Anne is green. Anne is not kind. Anne is red. Anne is round. Erin is big. Erin is red. Erin is round. Erin is not young. Fiona is cold. Fiona is green. Fiona is kind. Fiona is red. Fiona is round. Fiona is young. If something is young then it is big. All young things are big. All green things are red. If Fiona is cold and Fiona is not green then Fiona is young. If Erin is kind and Erin is cold then Erin is not red. All red things are round. If Fiona is not kind then Fiona is not cold. All big, green things are young.
Erin is cold.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is not kind.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule3))] Anne is round.[(triple5 OR ((triple4) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] Erin is big.[(triple6)] Erin is not young.[(triple9)] Erin is red.[(triple7)] Erin is round.[(triple8 OR ((triple7) -> rule6))] Fiona is cold.[(triple10)] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is red.[(triple13 OR ((triple11) -> rule3))] Fiona is round.[(triple14 OR ((triple13) -> rule6) OR ((((triple11) -> rule3)) -> rule6))] Fiona is young.[(triple15)] @1: Fiona is big.[(((triple15) -> rule1) OR ((triple15) -> rule2))]