Bob is green. Dave is big. Erin is cold. If Bob is white then Bob is not cold. Big things are not kind. Cold things are big. If something is quiet and not cold then it is not big. If something is cold and not kind then it is not rough. All quiet, kind things are rough. If something is kind and cold then it is green. Rough things are green.
Erin is kind.
@0: Bob is green.[(triple1)] Dave is big.[(triple2)] Erin is cold.[(triple3)] @1: Dave is not kind.[(((triple2) -> rule2))] Erin is big.[(((triple3) -> rule3))] @2: Erin is not kind.[(((((triple3) -> rule3)) -> rule2))] @3: Erin is not rough.[(((triple3 ((((triple3) -> rule3)) -> rule2)) -> rule5))]