Charlie is kind. Charlie is red. Charlie is smart. Charlie is young. Fiona is not big. Fiona is blue. Fiona is red. Fiona is smart. Fiona is not young. Gary is big. Harry is not blue. Harry is quiet. If Harry is big and Harry is red then Harry is not kind. If Harry is young then Harry is not kind. If Charlie is not kind then Charlie is big. If Fiona is smart then Fiona is quiet. Kind, red things are young. If something is kind then it is blue.
Harry is not blue.
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4 OR ((triple1 triple2) -> rule5))] Fiona is blue.[(triple6)] Fiona is not big.[(triple5)] Fiona is not young.[(triple9)] Fiona is red.[(triple7)] Fiona is smart.[(triple8)] Gary is big.[(triple10)] Harry is not blue.[(triple11)] Harry is quiet.[(triple12)] @1: Charlie is blue.[(((triple1) -> rule6))] Fiona is quiet.[(((triple8) -> rule4))]