Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is smart. Bob is white. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is red. All kind, red things are smart. Quiet, kind things are cold.
Fiona is not white.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple4 triple3) -> rule2))] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Fiona is blue.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] @1: Fiona is cold.[(((triple9 triple8) -> rule2))] Fiona is smart.[(((triple8 triple10) -> rule1))]