Bob is not blue. Bob is furry. Bob is red. Bob is round. Bob is young. Charlie is blue. Charlie is cold. Dave is cold. Dave is red. Gary is furry. Gary is red. Gary is round. If someone is blue and not nice then they are round. Cold people are not round. All blue people are furry. If someone is nice and cold then they are red. If Gary is blue and Gary is not red then Gary is furry. If someone is cold and not round then they are young. Nice, blue people are young. If someone is furry then they are young.
Gary is cold.
@0: Bob is furry.[(triple2)] Bob is not blue.[(triple1)] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5 OR ((triple2) -> rule8))] Charlie is blue.[(triple6)] Charlie is cold.[(triple7)] Dave is cold.[(triple8)] Dave is red.[(triple9)] Gary is furry.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)] @1: Charlie is furry.[(((triple6) -> rule3))] Charlie is not round.[(((triple7) -> rule2))] Dave is not round.[(((triple8) -> rule2))] Gary is young.[(((triple10) -> rule8))] @2: Charlie is young.[(((((triple6) -> rule3)) -> rule8) OR ((triple7 ((triple7) -> rule2)) -> rule6))] Dave is young.[(((triple8 ((triple8) -> rule2)) -> rule6))]