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