Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is nice. Bob is not big. Bob is blue. Bob is cold. Bob is not green. Bob is not kind. Bob is nice. Charlie is cold. Charlie is green. Charlie is kind. Charlie is not nice. Fiona is big. If Fiona is red then Fiona is blue. If something is nice then it is not kind.
Fiona is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is green.[(triple4)] Anne is nice.[(triple5)] Bob is blue.[(triple7)] Bob is cold.[(triple8)] Bob is nice.[(triple11)] Bob is not big.[(triple6)] Bob is not green.[(triple9)] Bob is not kind.[(triple10 OR ((triple11) -> rule2))] Charlie is cold.[(triple12)] Charlie is green.[(triple13)] Charlie is kind.[(triple14)] Charlie is not nice.[(triple15)] Fiona is big.[(triple16)] @1: Anne is not kind.[(((triple5) -> rule2))]