Bob is not cold. Bob is green. Bob is round. Bob is smart. Dave is cold. Dave is not white. Dave is young. Fiona is green. Fiona is round. Fiona is smart. Fiona is not white. Fiona is not young. Gary is cold. Gary is round. Gary is young. Young things are smart. All smart, cold things are not white. If something is white and kind then it is young.
Gary is not smart.
@0: Bob is green.[(triple2)] Bob is not cold.[(triple1)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Dave is cold.[(triple5)] Dave is not white.[(triple6 OR ((((triple7) -> rule1) triple5) -> rule2))] Dave is young.[(triple7)] Fiona is green.[(triple8)] Fiona is not white.[(triple11)] Fiona is not young.[(triple12)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] Gary is cold.[(triple13)] Gary is round.[(triple14)] Gary is young.[(triple15)] @1: Dave is smart.[(((triple7) -> rule1))] Gary is smart.[(((triple15) -> rule1))] @2: Gary is not white.[(((((triple15) -> rule1) triple13) -> rule2))]