Bob is furry. Bob is green. Bob is quiet. Bob is red. Gary is big. Gary is green. Gary is red. If someone is smart and white then they are quiet. If Gary is big and Gary is green then Gary is smart. All white people are quiet. If someone is red and quiet then they are furry. If someone is white and red then they are quiet. If Gary is red then Gary is quiet. All smart, white people are big. All green, quiet people are smart.
Bob is not big.
@0: Bob is furry.[(triple1 OR ((triple4 triple3) -> rule4))] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Gary is big.[(triple5)] Gary is green.[(triple6)] Gary is red.[(triple7)] @1: Bob is smart.[(((triple2 triple3) -> rule8))] Gary is quiet.[(((triple7) -> rule6))] Gary is smart.[(((triple5 triple6) -> rule2) OR ((triple6 ((triple7) -> rule6)) -> rule8))] @2: Gary is furry.[(((triple7 ((triple7) -> rule6)) -> rule4))]