Bob is blue. Bob is furry. Bob is green. Bob is quiet. Bob is white. Dave is big. Dave is blue. Erin is young. Gary is big. Gary is quiet. If Bob is quiet then Bob is green. All white things are quiet. If something is blue and young then it is green. All white things are quiet. If something is young and white then it is furry. If something is green then it is big.
Gary is not green.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1) OR ((((triple5) -> rule4)) -> rule1))] Bob is quiet.[(triple4 OR ((triple5) -> rule2) OR ((triple5) -> rule4))] Bob is white.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Erin is young.[(triple8)] Gary is big.[(triple9)] Gary is quiet.[(triple10)] @1: Bob is big.[(((triple3) -> rule6) OR ((((triple4) -> rule1)) -> rule6) OR ((((((triple5) -> rule2)) -> rule1)) -> rule6) OR ((((((triple5) -> rule4)) -> rule1)) -> rule6))]