Charlie is big. Charlie is green. Charlie is kind. Charlie is not quiet. Charlie is red. Charlie is young. Dave is big. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is not round. Dave is young. Fiona is not round. Harry is quiet. Green, big things are young. If Dave is not kind then Dave is big. If Dave is young then Dave is quiet.
Fiona is not young.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is young.[(triple6 OR ((triple2 triple1) -> rule1))] Dave is big.[(triple7)] Dave is green.[(triple8)] Dave is kind.[(triple9)] Dave is not round.[(triple12)] Dave is quiet.[(triple10 OR ((triple13) -> rule3) OR ((((triple8 triple7) -> rule1)) -> rule3))] Dave is red.[(triple11)] Dave is young.[(triple13 OR ((triple8 triple7) -> rule1))] Fiona is not round.[(triple14)] Harry is quiet.[(triple15)]