Anne is green. Dave is green. Dave is nice. Dave is red. Dave is smart. Dave is young. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is young. If something is red and smart then it is quiet. Smart things are cold. If something is young then it is cold. Red things are cold. If something is smart then it is quiet. If Anne is quiet and Anne is young then Anne is smart.
Dave is not young.
@0: Anne is green.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Fiona is cold.[(triple7 OR ((triple11) -> rule4) OR ((triple12) -> rule3))] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is young.[(triple12)] @1: Dave is cold.[(((triple4) -> rule4) OR ((triple5) -> rule2) OR ((triple6) -> rule3))] Dave is quiet.[(((triple5) -> rule5) OR ((triple4 triple5) -> rule1))]