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