Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is not round. Erin is not smart. Erin is young. Gary is big. Gary is cold. Gary is furry. Gary is nice. Gary is round. Gary is smart. Gary is not young. All young people are big. Young people are big. All cold people are furry. If someone is round then they are furry. If Gary is big and Gary is not cold then Gary is not nice. Smart people are nice.
Gary is not nice.
@0: Erin is big.[(triple1 OR ((triple7) -> rule1) OR ((triple7) -> rule2))] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple2) -> rule3))] Erin is nice.[(triple4)] Erin is not round.[(triple5)] Erin is not smart.[(triple6)] Erin is young.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10 OR ((triple12) -> rule4) OR ((triple9) -> rule3))] Gary is nice.[(triple11 OR ((triple13) -> rule6))] Gary is not young.[(triple14)] Gary is round.[(triple12)] Gary is smart.[(triple13)]