Anne is green. Anne is not nice. Bob is not big. Bob is not kind. Erin is green. Erin is kind. Fiona is green. Fiona is not kind. Fiona is nice. Fiona is quiet. If Fiona is quiet then Fiona is big. All kind, nice things are quiet.
Erin is not kind.
@0: Anne is green.[(triple1)] Anne is not nice.[(triple2)] Bob is not big.[(triple3)] Bob is not kind.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple9)] Fiona is not kind.[(triple8)] Fiona is quiet.[(triple10)] @1: Fiona is big.[(((triple10) -> rule1))]