Charlie is not blue. Charlie is green. Charlie is not nice. Dave is furry. Dave is kind. Fiona is furry. Fiona is green. Fiona is nice. Gary is green. Gary is quiet. If something is nice then it is furry. If Charlie is big and Charlie is green then Charlie is furry. If something is big then it is not nice. All quiet, nice things are kind. If something is blue and nice then it is quiet. If something is nice then it is quiet. If something is kind and not nice then it is blue. All nice things are not blue.
Charlie is nice.
@0: Charlie is green.[(triple2)] Charlie is not blue.[(triple1)] Charlie is not nice.[(triple3)] Dave is furry.[(triple4)] Dave is kind.[(triple5)] Fiona is furry.[(triple6 OR ((triple8) -> rule1))] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Gary is green.[(triple9)] Gary is quiet.[(triple10)] @1: Fiona is not blue.[(((triple8) -> rule8))] Fiona is quiet.[(((triple8) -> rule6))] @2: Fiona is kind.[(((((triple8) -> rule6) triple8) -> rule4))]