Dave is big. Dave is furry. Dave is not smart. Dave is not young. Erin is big. Erin is young. Gary is big. Gary is cold. Gary is furry. Gary is not round. Gary is smart. Gary is young. Harry is not big. Harry is cold. Harry is nice. Harry is round. If something is round then it is cold.
Dave is nice.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is not smart.[(triple3)] Dave is not young.[(triple4)] Erin is big.[(triple5)] Erin is young.[(triple6)] Gary is big.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is not round.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] Harry is cold.[(triple14 OR ((triple16) -> rule1))] Harry is nice.[(triple15)] Harry is not big.[(triple13)] Harry is round.[(triple16)]