Bob is round. Charlie is cold. Charlie is not smart. Dave is green. Dave is nice. Dave is smart. Fiona is cold. Fiona is kind. Fiona is round. Fiona is young. If Charlie is round and Charlie is kind then Charlie is young. If something is smart and cold then it is round. Cold things are round. If Bob is cold then Bob is round. If Dave is smart then Dave is nice. If something is smart and not round then it is green. All round, nice things are green. If something is nice and not young then it is not green.
Dave is not round.
@0: Bob is round.[(triple1)] Charlie is cold.[(triple2)] Charlie is not smart.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5 OR ((triple6) -> rule5))] Dave is smart.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is round.[(triple9 OR ((triple7) -> rule3))] Fiona is young.[(triple10)] @1: Charlie is round.[(((triple2) -> rule3))]