Dave is big. Dave is blue. Dave is cold. Dave is red. Dave is rough. Dave is smart. Gary is big. Gary is cold. Gary is nice. Gary is rough. If someone is blue and nice then they are cold. Smart, nice people are blue. Smart, blue people are red. If Gary is smart and Gary is rough then Gary is big. If Gary is smart then Gary is rough. If Gary is nice then Gary is big. If someone is big then they are red. Red people are cold.
Dave is not cold.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3 OR ((triple4) -> rule8) OR ((((triple1) -> rule7)) -> rule8) OR ((((triple6 triple2) -> rule3)) -> rule8))] Dave is red.[(triple4 OR ((triple1) -> rule7) OR ((triple6 triple2) -> rule3))] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Gary is big.[(triple7 OR ((triple9) -> rule6))] Gary is cold.[(triple8 OR ((((triple7) -> rule7)) -> rule8) OR ((((((triple9) -> rule6)) -> rule7)) -> rule8))] Gary is nice.[(triple9)] Gary is rough.[(triple10)] @1: Gary is red.[(((triple7) -> rule7) OR ((((triple9) -> rule6)) -> rule7))]