Erin is not cold. Erin is not kind. Erin is not nice. Erin is red. Erin is young. Harry is not cold. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is not round. Harry is young. If something is round and green then it is young. If something is round and cold then it is young. Red, round things are nice. If something is young and round then it is nice. If something is nice and red then it is kind. Kind, cold things are red. If Harry is young and Harry is not green then Harry is cold. If Erin is round and Erin is red then Erin is not young.
Erin is not green.
@0: Erin is not cold.[(triple1)] Erin is not kind.[(triple2)] Erin is not nice.[(triple3)] Erin is red.[(triple4)] Erin is young.[(triple5)] Harry is green.[(triple7)] Harry is kind.[(triple8 OR ((triple9 triple10) -> rule5))] Harry is nice.[(triple9)] Harry is not cold.[(triple6)] Harry is not round.[(triple11)] Harry is red.[(triple10)] Harry is young.[(triple12)]