Charlie is cold. Charlie is kind. Charlie is red. Dave is cold. Dave is furry. Dave is young. Fiona is cold. Fiona is young. Gary is furry. Gary is quiet. If Fiona is kind and Fiona is big then Fiona is red. Cold, red things are young. If Charlie is big and Charlie is quiet then Charlie is young.
Charlie is not red.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Dave is cold.[(triple4)] Dave is furry.[(triple5)] Dave is young.[(triple6)] Fiona is cold.[(triple7)] Fiona is young.[(triple8)] Gary is furry.[(triple9)] Gary is quiet.[(triple10)] @1: Charlie is young.[(((triple1 triple3) -> rule2))]