Anne is kind. Anne is not quiet. Anne is not smart. Bob is not big. Bob is not quiet. Bob is red. Bob is not smart. Fiona is cold. Fiona is kind. Fiona is not quiet. Fiona is smart. Fiona is young. If someone is quiet then they are red. Kind people are not big.
Bob is young.
@0: Anne is kind.[(triple1)] Anne is not quiet.[(triple2)] Anne is not smart.[(triple3)] Bob is not big.[(triple4)] Bob is not quiet.[(triple5)] Bob is not smart.[(triple7)] Bob is red.[(triple6)] Fiona is cold.[(triple8)] Fiona is kind.[(triple9)] Fiona is not quiet.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Anne is not big.[(((triple1) -> rule2))] Fiona is not big.[(((triple9) -> rule2))]