Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is round. Gary is big. Gary is kind. All big, round things are green. If something is white then it is furry. If Bob is furry then Bob is quiet. If Gary is quiet and Gary is furry then Gary is round. If Gary is quiet then Gary is furry. If Gary is quiet then Gary is white.
Bob is round.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple1) -> rule3))] Bob is round.[(triple5)] Gary is big.[(triple6)] Gary is kind.[(triple7)]