Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is not round. Bob is white. Dave is green. Dave is round. Dave is smart. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is not round. Fiona is smart. Fiona is white. If something is white then it is green. If something is round and not smart then it is green. If Fiona is smart then Fiona is blue.
Dave is smart.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple6) -> rule1))] Bob is not round.[(triple5)] Bob is white.[(triple6)] Dave is green.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9)] Fiona is blue.[(triple10 OR ((triple15) -> rule3))] Fiona is cold.[(triple11)] Fiona is furry.[(triple12)] Fiona is green.[(triple13 OR ((triple16) -> rule1))] Fiona is not round.[(triple14)] Fiona is smart.[(triple15)] Fiona is white.[(triple16)]