Dave is big. Dave is not cold. Dave is kind. Dave is not quiet. Dave is red. Dave is rough. Dave is smart. Gary is big. Gary is cold. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is smart. All cold things are kind. If something is quiet and not kind then it is not smart. If something is quiet and not kind then it is smart. All cold, big things are rough. All red things are rough. Quiet things are big. If something is smart then it is big. If Dave is quiet and Dave is not big then Dave is not rough.
Gary is red.
@0: Dave is big.[(triple1 OR ((triple7) -> rule7))] Dave is kind.[(triple3)] Dave is not cold.[(triple2)] Dave is not quiet.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6 OR ((triple5) -> rule5))] Dave is smart.[(triple7)] Gary is big.[(triple8 OR ((triple11) -> rule6) OR ((triple14) -> rule7))] Gary is cold.[(triple9)] Gary is kind.[(triple10 OR ((triple9) -> rule1))] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Gary is rough.[(triple13 OR ((triple12) -> rule5) OR ((triple9 triple8) -> rule4) OR ((triple9 ((triple11) -> rule6)) -> rule4) OR ((triple9 ((triple14) -> rule7)) -> rule4))] Gary is smart.[(triple14)]