Dave is big. Dave is blue. Dave is quiet. Dave is red. Dave is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is not red. Fiona is not round. Fiona is young. Gary is blue. Gary is red. Gary is round. Gary is young. If someone is blue then they are big. If someone is red then they are big. If someone is blue and not cold then they are young.
Gary is not cold.
@0: Dave is big.[(triple1 OR ((triple2) -> rule1) OR ((triple4) -> rule2))] Dave is blue.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is young.[(triple5)] Fiona is big.[(triple6 OR ((triple7) -> rule1))] Fiona is blue.[(triple7)] Fiona is cold.[(triple8)] Fiona is not red.[(triple10)] Fiona is not round.[(triple11)] Fiona is quiet.[(triple9)] Fiona is young.[(triple12)] Gary is blue.[(triple13)] Gary is red.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16)] @1: Gary is big.[(((triple13) -> rule1) OR ((triple14) -> rule2))]