Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is round. Dave is white. Dave is young. Fiona is not blue. Fiona is furry. Fiona is kind. Fiona is not round. Fiona is white. Fiona is young. Gary is blue. Gary is kind. Gary is round. Blue things are furry. All round, furry things are white.
Fiona is cold.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple1) -> rule1))] Dave is kind.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6 OR ((triple5 triple3) -> rule2) OR ((triple5 ((triple1) -> rule1)) -> rule2))] Dave is young.[(triple7)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is not blue.[(triple8)] Fiona is not round.[(triple11)] Fiona is white.[(triple12)] Fiona is young.[(triple13)] Gary is blue.[(triple14)] Gary is kind.[(triple15)] Gary is round.[(triple16)] @1: Gary is furry.[(((triple14) -> rule1))] @2: Gary is white.[(((triple16 ((triple14) -> rule1)) -> rule2))]