Anne is kind. Anne is smart. Bob is smart. Bob is white. Charlie is green. Charlie is red. Charlie is smart. Fiona is green. Fiona is round. Fiona is smart. Red things are smart. If something is round and green then it is kind. Red, round things are green.
Bob is not kind.
@0: Anne is kind.[(triple1)] Anne is smart.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Charlie is green.[(triple5)] Charlie is red.[(triple6)] Charlie is smart.[(triple7 OR ((triple6) -> rule1))] Fiona is green.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is kind.[(((triple9 triple8) -> rule2))]