Anne is red. Anne is round. Anne is smart. Anne is young. Charlie is quiet. Charlie is smart. Fiona is big. Fiona is not red. Gary is red. Gary is round. Gary is smart. Gary is young. If Charlie is not young then Charlie is quiet. If Fiona is round then Fiona is kind. If someone is big then they are not kind. All big people are smart. All young, big people are round. If Gary is not smart then Gary is kind.
Anne is not round.
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6)] Fiona is big.[(triple7)] Fiona is not red.[(triple8)] Gary is red.[(triple9)] Gary is round.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Fiona is not kind.[(((triple7) -> rule3))] Fiona is smart.[(((triple7) -> rule4))]