Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is white. Bob is young. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is white. Gary is young. If something is quiet then it is white. If Gary is young and Gary is red then Gary is white. If Bob is quiet and Bob is green then Bob is white. All young things are red. Young things are green. Nice things are young.
Gary is not red.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple7) -> rule5) OR ((((triple3) -> rule6)) -> rule5))] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple7) -> rule4) OR ((((triple3) -> rule6)) -> rule4))] Bob is white.[(triple6 OR ((triple4) -> rule1) OR ((triple4 triple2) -> rule3) OR ((triple4 ((triple7) -> rule5)) -> rule3) OR ((triple4 ((((triple3) -> rule6)) -> rule5)) -> rule3))] Bob is young.[(triple7 OR ((triple3) -> rule6))] Gary is cold.[(triple8)] Gary is green.[(triple9 OR ((triple14) -> rule5) OR ((((triple10) -> rule6)) -> rule5))] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is red.[(triple12 OR ((triple14) -> rule4) OR ((((triple10) -> rule6)) -> rule4))] Gary is white.[(triple13 OR ((triple11) -> rule1) OR ((triple14 triple12) -> rule2) OR ((triple14 ((triple14) -> rule4)) -> rule2) OR ((((triple10) -> rule6) triple12) -> rule2) OR ((((triple10) -> rule6) ((triple14) -> rule4)) -> rule2) OR ((triple14 ((((triple10) -> rule6)) -> rule4)) -> rule2) OR ((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule4)) -> rule2))] Gary is young.[(triple14 OR ((triple10) -> rule6))]