Dave is cold. Dave is green. Dave is quiet. Dave is red. Dave is round. Dave is smart. Dave is young. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Fiona is young. If something is round then it is cold. Young, green things are cold. All smart things are young.
Fiona is not red.
@0: Dave is cold.[(triple1 OR ((triple5) -> rule1) OR ((triple7 triple2) -> rule2) OR ((((triple6) -> rule3) triple2) -> rule2))] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7 OR ((triple6) -> rule3))] Fiona is cold.[(triple8 OR ((triple12) -> rule1) OR ((triple14 triple9) -> rule2) OR ((((triple13) -> rule3) triple9) -> rule2))] Fiona is green.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14 OR ((triple13) -> rule3))]