Bob is not furry. Bob is not green. Bob is red. Bob is round. Dave is furry. Gary is furry. Gary is green. White, green things are round. Green things are big. If something is round and quiet then it is not big. All white things are big. If Bob is furry and Bob is big then Bob is red. If Gary is green then Gary is white. If something is furry then it is red. If something is round and not furry then it is quiet.
Dave is not furry.
@0: Bob is not furry.[(triple1)] Bob is not green.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Dave is furry.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] @1: Bob is quiet.[(((triple4 triple1) -> rule8))] Dave is red.[(((triple5) -> rule7))] Gary is big.[(((triple7) -> rule2) OR ((((triple7) -> rule6)) -> rule4))] Gary is red.[(((triple6) -> rule7))] Gary is white.[(((triple7) -> rule6))] @2: Bob is not big.[(((triple4 ((triple4 triple1) -> rule8)) -> rule3))] Gary is round.[(((((triple7) -> rule6) triple7) -> rule1))]