Bob is big. Bob is nice. Charlie is red. Erin is big. Gary is cold. Gary is nice. Gary is quiet. If Charlie is cold and Charlie is quiet then Charlie is nice. Big people are white. All quiet people are red. Quiet people are big. If someone is red and furry then they are nice. If Gary is big then Gary is red.
Erin is not red.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Charlie is red.[(triple3)] Erin is big.[(triple4)] Gary is cold.[(triple5)] Gary is nice.[(triple6)] Gary is quiet.[(triple7)] @1: Bob is white.[(((triple1) -> rule2))] Erin is white.[(((triple4) -> rule2))] Gary is big.[(((triple7) -> rule4))] Gary is red.[(((triple7) -> rule3) OR ((((triple7) -> rule4)) -> rule6))] @2: Gary is white.[(((((triple7) -> rule4)) -> rule2))]