Bob is big. Charlie is big. Fiona is round. If Bob is kind then Bob is white. If someone is round then they are white. Round people are kind.
Fiona is not round.
@0: Bob is big.[(triple1)] Charlie is big.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is kind.[(((triple3) -> rule3))] Fiona is white.[(((triple3) -> rule2))]