Bob is not big. Bob is not green. Dave is not big. Dave is not green. Dave is kind. Dave is not red. Dave is not rough. Erin is big. Erin is rough. Gary is nice. Gary is red. Gary is rough. If someone is big and not nice then they are not red. Red, nice people are cold. If someone is cold then they are big. Red people are kind. If someone is green and not big then they are rough. If Gary is not kind then Gary is not rough.
Gary is not nice.
@0: Bob is not big.[(triple1)] Bob is not green.[(triple2)] Dave is kind.[(triple5)] Dave is not big.[(triple3)] Dave is not green.[(triple4)] Dave is not red.[(triple6)] Dave is not rough.[(triple7)] Erin is big.[(triple8)] Erin is rough.[(triple9)] Gary is nice.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] @1: Gary is cold.[(((triple11 triple10) -> rule2))] Gary is kind.[(((triple11) -> rule4))] @2: Gary is big.[(((((triple11 triple10) -> rule2)) -> rule3))]