Bob is big. Bob is not red. Bob is smart. Bob is white. Erin is big. Erin is not nice. Erin is red. Gary is cold. Gary is nice. Gary is smart. If someone is big and not red then they are smart. If Bob is smart and Bob is not big then Bob is nice. If Erin is white then Erin is not nice. If Gary is red then Gary is quiet. Nice people are not quiet. If someone is white and not smart then they are not quiet. If someone is white and not big then they are not quiet. If Bob is nice and Bob is not quiet then Bob is not cold.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is not red.[(triple2)] Bob is smart.[(triple3 OR ((triple1 triple2) -> rule1))] Bob is white.[(triple4)] Erin is big.[(triple5)] Erin is not nice.[(triple6)] Erin is red.[(triple7)] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is smart.[(triple10)] @1: Gary is not quiet.[(((triple9) -> rule5))]