Charlie is big. Charlie is cold. Charlie is red. Erin is big. Erin is furry. Erin is kind. Erin is young. Fiona is big. Fiona is cold. Fiona is kind. Fiona is red. Fiona is young. Harry is big. Harry is cold. Harry is furry. Harry is red. If Erin is cold and Erin is big then Erin is green. If someone is young and kind then they are cold.
Erin is not cold.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is red.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is young.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9 OR ((triple12 triple10) -> rule2))] Fiona is kind.[(triple10)] Fiona is red.[(triple11)] Fiona is young.[(triple12)] Harry is big.[(triple13)] Harry is cold.[(triple14)] Harry is furry.[(triple15)] Harry is red.[(triple16)] @1: Erin is cold.[(((triple7 triple6) -> rule2))] @2: Erin is green.[(((((triple7 triple6) -> rule2) triple4) -> rule1))]