Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is young. Dave is big. Dave is blue. Dave is green. Dave is white. Dave is young. Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is young. If Dave is white then Dave is blue. If someone is green then they are quiet. Big, quiet people are young.
Dave is blue.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is quiet.[(triple5 OR ((triple4) -> rule2))] Charlie is young.[(triple6 OR ((triple1 triple5) -> rule3) OR ((triple1 ((triple4) -> rule2)) -> rule3))] Dave is big.[(triple7)] Dave is blue.[(triple8 OR ((triple10) -> rule1))] Dave is green.[(triple9)] Dave is white.[(triple10)] Dave is young.[(triple11 OR ((triple7 ((triple9) -> rule2)) -> rule3))] Fiona is blue.[(triple12)] Fiona is cold.[(triple13)] Fiona is green.[(triple14)] Fiona is quiet.[(triple15 OR ((triple14) -> rule2))] Fiona is young.[(triple16)] @1: Dave is quiet.[(((triple9) -> rule2))]