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