Bob is kind. Bob is red. Dave is quiet. Dave is red. Dave is smart. Fiona is cold. Fiona is rough. If something is smart then it is red. If something is rough then it is young. Young things are red.
Fiona is red.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4 OR ((triple5) -> rule1))] Dave is smart.[(triple5)] Fiona is cold.[(triple6)] Fiona is rough.[(triple7)] @1: Fiona is young.[(((triple7) -> rule2))] @2: Fiona is red.[(((((triple7) -> rule2)) -> rule3))]