Charlie is nice. Charlie is red. Charlie is white. Charlie is young. Dave is blue. Dave is furry. Dave is quiet. Dave is not white. Dave is young. Fiona is furry. Fiona is nice. Fiona is red. Fiona is white. Fiona is young. Gary is red. If someone is nice then they are young. If someone is quiet and not blue then they are white. White people are red. If someone is blue then they are not red. All furry people are quiet. If Charlie is not red then Charlie is young. If Dave is blue and Dave is not white then Dave is young. If Dave is red then Dave is young.
Charlie is not quiet.
@0: Charlie is nice.[(triple1)] Charlie is red.[(triple2 OR ((triple3) -> rule3))] Charlie is white.[(triple3)] Charlie is young.[(triple4 OR ((triple1) -> rule1))] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is not white.[(triple8)] Dave is quiet.[(triple7 OR ((triple6) -> rule5))] Dave is young.[(triple9 OR ((triple5 triple8) -> rule7))] Fiona is furry.[(triple10)] Fiona is nice.[(triple11)] Fiona is red.[(triple12 OR ((triple13) -> rule3))] Fiona is white.[(triple13)] Fiona is young.[(triple14 OR ((triple11) -> rule1))] Gary is red.[(triple15)] @1: Dave is not red.[(((triple5) -> rule4))] Fiona is quiet.[(((triple10) -> rule5))]