Bob is smart. Dave is kind. Fiona is rough. Kind people are rough. If someone is rough then they are red. If someone is smart then they are kind.
Fiona is smart.
@0: Bob is smart.[(triple1)] Dave is kind.[(triple2)] Fiona is rough.[(triple3)] @1: Bob is kind.[(((triple1) -> rule3))] Dave is rough.[(((triple2) -> rule1))] Fiona is red.[(((triple3) -> rule2))] @2: Bob is rough.[(((((triple1) -> rule3)) -> rule1))] Dave is red.[(((((triple2) -> rule1)) -> rule2))] @3: Bob is red.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]