Dave is not kind. Dave is nice. Erin is kind. Erin is round. Erin is young. Gary is cold. Gary is nice. Gary is young. Harry is cold. Harry is round. If someone is young and not nice then they are round. All big, nice people are round. Round people are young.
Erin is young.
@0: Dave is nice.[(triple2)] Dave is not kind.[(triple1)] Erin is kind.[(triple3)] Erin is round.[(triple4)] Erin is young.[(triple5 OR ((triple4) -> rule3))] Gary is cold.[(triple6)] Gary is nice.[(triple7)] Gary is young.[(triple8)] Harry is cold.[(triple9)] Harry is round.[(triple10)] @1: Harry is young.[(((triple10) -> rule3))]