Charlie is blue. Charlie is not kind. Charlie is not smart. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is smart. Gary is not young. Green people are smart. If Fiona is furry and Fiona is not young then Fiona is quiet. If Charlie is not blue then Charlie is young. If Gary is young and Gary is quiet then Gary is not kind. If someone is young and not blue then they are green. All green, smart people are kind.
Gary is not smart.
@0: Charlie is blue.[(triple1)] Charlie is not kind.[(triple2)] Charlie is not smart.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7 OR ((triple6 triple9) -> rule6) OR ((triple6 ((triple6) -> rule1)) -> rule6))] Fiona is quiet.[(triple8)] Fiona is smart.[(triple9 OR ((triple6) -> rule1))] Gary is blue.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13 OR ((triple12 triple15) -> rule6) OR ((triple12 ((triple12) -> rule1)) -> rule6))] Gary is not young.[(triple16)] Gary is quiet.[(triple14)] Gary is smart.[(triple15 OR ((triple12) -> rule1))]