Bob is big. Bob is not furry. Bob is nice. Bob is quiet. Bob is round. Bob is young. Gary is big. Gary is not furry. Gary is green. Gary is not nice. Gary is quiet. Gary is round. If Gary is green and Gary is not quiet then Gary is nice. All big things are green.
Gary is not furry.
@0: Bob is big.[(triple1)] Bob is nice.[(triple3)] Bob is not furry.[(triple2)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Bob is young.[(triple6)] Gary is big.[(triple7)] Gary is green.[(triple9 OR ((triple7) -> rule2))] Gary is not furry.[(triple8)] Gary is not nice.[(triple10)] Gary is quiet.[(triple11)] Gary is round.[(triple12)] @1: Bob is green.[(((triple1) -> rule2))]