Anne is big. Anne is furry. Anne is kind. Anne is quiet. Anne is not red. Anne is not young. Bob is quiet. Bob is not red. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is young. If Anne is not big then Anne is red. All red, kind things are young.
Fiona is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not red.[(triple5)] Anne is not young.[(triple6)] Anne is quiet.[(triple4)] Bob is not red.[(triple8)] Bob is quiet.[(triple7)] Fiona is big.[(triple9)] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is kind.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is young.[(triple15 OR ((triple14 triple12) -> rule2))]