Anne is cold. Anne is green. Anne is not smart. Bob is cold. Bob is green. Bob is kind. Bob is red. Fiona is cold. Fiona is green. Fiona is smart. If someone is cold and kind then they are red. If someone is young then they are not kind.
Fiona is not red.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is not smart.[(triple3)] Bob is cold.[(triple4)] Bob is green.[(triple5)] Bob is kind.[(triple6)] Bob is red.[(triple7 OR ((triple4 triple6) -> rule1))] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is smart.[(triple10)]