Bob is big. Bob is cold. Charlie is not cold. Charlie is nice. Charlie is not young. Dave is big. Dave is furry. Gary is green. Gary is nice. Gary is young. Blue, big things are not green. If something is cold then it is blue. If something is cold and not furry then it is not big. All furry things are nice. All young things are nice. If Gary is nice and Gary is furry then Gary is cold. All cold, green things are not young. If Dave is nice then Dave is cold.
Gary is not cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Charlie is nice.[(triple4)] Charlie is not cold.[(triple3)] Charlie is not young.[(triple5)] Dave is big.[(triple6)] Dave is furry.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9 OR ((triple10) -> rule5))] Gary is young.[(triple10)] @1: Bob is blue.[(((triple2) -> rule2))] Dave is nice.[(((triple7) -> rule4))] @2: Bob is not green.[(((((triple2) -> rule2) triple1) -> rule1))] Dave is cold.[(((((triple7) -> rule4)) -> rule8))] @3: Dave is blue.[(((((((triple7) -> rule4)) -> rule8)) -> rule2))] @4: Dave is not green.[(((((((((triple7) -> rule4)) -> rule8)) -> rule2) triple6) -> rule1))]