Bob is not blue. Bob is red. Bob is smart. Bob is young. Charlie is blue. Charlie is kind. Charlie is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is smart. Fiona is young. If Charlie is red then Charlie is kind. If something is red then it is cold. If something is smart and cold then it is kind.
Fiona is blue.
@0: Bob is not blue.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is kind.[(triple6)] Charlie is young.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Bob is cold.[(((triple2) -> rule2))] Fiona is kind.[(((triple11 triple10) -> rule3))] @2: Bob is kind.[(((triple3 ((triple2) -> rule2)) -> rule3))]