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