Bob is cold. Bob is smart. Bob is white. Dave is cold. Dave is furry. Dave is not smart. Dave is white. Dave is young. Gary is blue. Gary is not cold. Gary is not furry. Gary is not round. Gary is smart. Gary is not white. Gary is young. Harry is blue. If Bob is white then Bob is young. If someone is white and young then they are furry. Smart, furry people are blue.
Dave is not white.
@0: Bob is cold.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Dave is cold.[(triple4)] Dave is furry.[(triple5 OR ((triple7 triple8) -> rule2))] Dave is not smart.[(triple6)] Dave is white.[(triple7)] Dave is young.[(triple8)] Gary is blue.[(triple9)] Gary is not cold.[(triple10)] Gary is not furry.[(triple11)] Gary is not round.[(triple12)] Gary is not white.[(triple14)] Gary is smart.[(triple13)] Gary is young.[(triple15)] Harry is blue.[(triple16)] @1: Bob is young.[(((triple3) -> rule1))] @2: Bob is furry.[(((triple3 ((triple3) -> rule1)) -> rule2))] @3: Bob is blue.[(((triple2 ((triple3 ((triple3) -> rule1)) -> rule2)) -> rule3))]