Bob is smart. Fiona is furry. If Bob is not smart then Bob is not quiet. If Bob is furry then Bob is quiet. All cold things are blue. If something is quiet then it is blue. If something is smart then it is furry. If Bob is green and Bob is not quiet then Bob is not red.
Bob is not cold.
@0: Bob is smart.[(triple1)] Fiona is furry.[(triple2)] @1: Bob is furry.[(((triple1) -> rule5))] @2: Bob is quiet.[(((((triple1) -> rule5)) -> rule2))] @3: Bob is blue.[(((((((triple1) -> rule5)) -> rule2)) -> rule4))]