Bob is not big. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is round. Bob is white. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is not white. If something is round then it is red. All big, round things are quiet.
Gary is not round.
@0: Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is not big.[(triple1)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple6) -> rule1))] Bob is round.[(triple6)] Bob is white.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is not white.[(triple14)] Gary is quiet.[(triple11 OR ((triple8 triple13) -> rule2))] Gary is red.[(triple12 OR ((triple13) -> rule1))] Gary is round.[(triple13)]