Bob is young. Erin is round. Fiona is cold. If something is young then it is blue. If something is kind and round then it is young. All round things are cold. If something is rough then it is round. All quiet things are rough. Kind things are young.
Fiona is not quiet.
@0: Bob is young.[(triple1)] Erin is round.[(triple2)] Fiona is cold.[(triple3)] @1: Bob is blue.[(((triple1) -> rule1))] Erin is cold.[(((triple2) -> rule3))]