Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is not round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is not nice. Fiona is not quiet. Fiona is round. Fiona is not young. Gary is big. Gary is cold. Gary is round. Gary is not young. Quiet, nice things are cold. If something is blue and not round then it is cold. Quiet, nice things are cold. Big things are cold. All blue, nice things are young. Nice things are big.
Gary is not nice.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple1 triple5) -> rule2) OR ((triple4 triple3) -> rule1) OR ((triple4 triple3) -> rule3) OR ((((triple3) -> rule6)) -> rule4))] Dave is nice.[(triple3)] Dave is not round.[(triple5)] Dave is quiet.[(triple4)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8 OR ((triple6) -> rule4))] Fiona is not nice.[(triple9)] Fiona is not quiet.[(triple10)] Fiona is not young.[(triple12)] Fiona is round.[(triple11)] Gary is big.[(triple13)] Gary is cold.[(triple14 OR ((triple13) -> rule4))] Gary is not young.[(triple16)] Gary is round.[(triple15)] @1: Dave is big.[(((triple3) -> rule6))] Dave is young.[(((triple1 triple3) -> rule5))]