Dave is cold. Dave is furry. Dave is green. Dave is round. Dave is smart. Dave is white. Dave is young. Fiona is cold. Fiona is furry. Fiona is green. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. If someone is smart then they are young. If Dave is young and Dave is smart then Dave is white. All round people are young.
Dave is white.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6 OR ((triple7 triple5) -> rule2) OR ((((triple4) -> rule3) triple5) -> rule2) OR ((((triple5) -> rule1) triple5) -> rule2))] Dave is young.[(triple7 OR ((triple4) -> rule3) OR ((triple5) -> rule1))] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14 OR ((triple11) -> rule3) OR ((triple12) -> rule1))]