Anne is blue. Anne is nice. Anne is rough. Bob is blue. Bob is kind. Dave is nice. Dave is red. Dave is rough. Dave is not smart. Fiona is kind. Fiona is nice. Fiona is not smart. If something is kind and nice then it is blue.
Fiona is nice.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Bob is blue.[(triple4)] Bob is kind.[(triple5)] Dave is nice.[(triple6)] Dave is not smart.[(triple9)] Dave is red.[(triple7)] Dave is rough.[(triple8)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is not smart.[(triple12)] @1: Fiona is blue.[(((triple10 triple11) -> rule1))]