Bob is cold. Bob is quiet. Bob is rough. Bob is round. Bob is young. Gary is cold. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is young. Green things are cold. All cold, red things are round. All quiet, green things are young.
Bob is not green.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Gary is cold.[(triple6 OR ((triple7) -> rule1))] Gary is green.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11 OR ((triple6 triple9) -> rule2) OR ((((triple7) -> rule1) triple9) -> rule2))] Gary is young.[(triple12 OR ((triple8 triple7) -> rule3))]