Charlie is big. Dave is cold. Dave is not red. Dave is rough. Dave is round. Dave is smart. Erin is not cold. Erin is not green. Erin is not rough. Gary is big. Gary is cold. Gary is green. Gary is rough. Gary is round. Gary is smart. All big things are not red. If Charlie is cold then Charlie is round. If Dave is big and Dave is rough then Dave is not smart. If Charlie is rough and Charlie is round then Charlie is not cold. If something is green and round then it is smart. All cold, red things are smart. If Gary is not red then Gary is cold. If Gary is smart then Gary is green.
Erin is green.
@0: Charlie is big.[(triple1)] Dave is cold.[(triple2)] Dave is not red.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Erin is not cold.[(triple7)] Erin is not green.[(triple8)] Erin is not rough.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11 OR ((((triple10) -> rule1)) -> rule7))] Gary is green.[(triple12 OR ((triple15) -> rule8))] Gary is rough.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15 OR ((triple12 triple14) -> rule5))] @1: Charlie is not red.[(((triple1) -> rule1))] Gary is not red.[(((triple10) -> rule1))]