Anne is red. Bob is smart. Fiona is white. If someone is round then they are smart. If someone is round and cold then they are kind. All red, kind people are cold. If Bob is kind then Bob is red. If Bob is smart and Bob is red then Bob is round. White people are red. Red, smart people are white. Red, cold people are rough.
Anne is red.
@0: Anne is red.[(triple1)] Bob is smart.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is red.[(((triple3) -> rule6))]