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