Erin is not cold. Erin is nice. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is green. Fiona is young. Gary is furry. Gary is not green. Gary is young. Harry is blue. Harry is cold. Harry is furry. Harry is not quiet. Harry is young. Furry, blue things are young. If something is furry then it is blue. Quiet, blue things are not furry. All cold things are furry. Young, furry things are not nice. If something is cold and not blue then it is not nice.
Fiona is cold.
@0: Erin is nice.[(triple2)] Erin is not cold.[(triple1)] Fiona is blue.[(triple3 OR ((triple5) -> rule2))] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is not cold.[(triple4)] Fiona is young.[(triple7 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple5) -> rule2)) -> rule1))] Gary is furry.[(triple8)] Gary is not green.[(triple9)] Gary is young.[(triple10 OR ((triple8 ((triple8) -> rule2)) -> rule1))] Harry is blue.[(triple11 OR ((triple13) -> rule2) OR ((((triple12) -> rule4)) -> rule2))] Harry is cold.[(triple12)] Harry is furry.[(triple13 OR ((triple12) -> rule4))] Harry is not quiet.[(triple14)] Harry is young.[(triple15 OR ((triple13 triple11) -> rule1) OR ((triple13 ((triple13) -> rule2)) -> rule1) OR ((((triple12) -> rule4) triple11) -> rule1) OR ((((triple12) -> rule4) ((triple13) -> rule2)) -> rule1) OR ((triple13 ((((triple12) -> rule4)) -> rule2)) -> rule1) OR ((((triple12) -> rule4) ((((triple12) -> rule4)) -> rule2)) -> rule1))] @1: Fiona is not nice.[(((triple7 triple5) -> rule5) OR ((((triple5 triple3) -> rule1) triple5) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule1) triple5) -> rule5))] Gary is blue.[(((triple8) -> rule2))] Gary is not nice.[(((triple10 triple8) -> rule5) OR ((((triple8 ((triple8) -> rule2)) -> rule1) triple8) -> rule5))] Harry is not nice.[(((triple15 triple13) -> rule5) OR ((triple15 ((triple12) -> rule4)) -> rule5) OR ((((triple13 triple11) -> rule1) triple13) -> rule5) OR ((((triple13 triple11) -> rule1) ((triple12) -> rule4)) -> rule5) OR ((((triple13 ((triple13) -> rule2)) -> rule1) triple13) -> rule5) OR ((((((triple12) -> rule4) triple11) -> rule1) triple13) -> rule5) OR ((((triple13 ((triple13) -> rule2)) -> rule1) ((triple12) -> rule4)) -> rule5) OR ((((((triple12) -> rule4) triple11) -> rule1) ((triple12) -> rule4)) -> rule5) OR ((((((triple12) -> rule4) ((triple13) -> rule2)) -> rule1) triple13) -> rule5) OR ((((((triple12) -> rule4) ((triple13) -> rule2)) -> rule1) ((triple12) -> rule4)) -> rule5) OR ((((triple13 ((((triple12) -> rule4)) -> rule2)) -> rule1) triple13) -> rule5) OR ((((triple13 ((((triple12) -> rule4)) -> rule2)) -> rule1) ((triple12) -> rule4)) -> rule5) OR ((((((triple12) -> rule4) ((((triple12) -> rule4)) -> rule2)) -> rule1) triple13) -> rule5) OR ((((((triple12) -> rule4) ((((triple12) -> rule4)) -> rule2)) -> rule1) ((triple12) -> rule4)) -> rule5))]