Dave is blue. Dave is furry. Dave is nice. Dave is round. Dave is smart. Dave is white. Dave is young. Fiona is not furry. Fiona is round. Fiona is smart. Fiona is not white. Fiona is young. If Dave is not young then Dave is furry. All blue things are smart. If Fiona is not round then Fiona is white. If something is white then it is nice. If something is nice and smart then it is blue. If something is white and not blue then it is furry. If something is white then it is furry. All nice, white things are furry.
Fiona is smart.
@0: Dave is blue.[(triple1 OR ((triple3 triple5) -> rule5) OR ((((triple6) -> rule4) triple5) -> rule5))] Dave is furry.[(triple2 OR ((triple6) -> rule7) OR ((triple3 triple6) -> rule8) OR ((((triple6) -> rule4) triple6) -> rule8))] Dave is nice.[(triple3 OR ((triple6) -> rule4))] Dave is round.[(triple4)] Dave is smart.[(triple5 OR ((triple1) -> rule2))] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is not furry.[(triple8)] Fiona is not white.[(triple11)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] Fiona is young.[(triple12)]