Bob is blue. Bob is furry. Bob is green. Bob is quiet. Fiona is furry. Fiona is green. Gary is green. If Gary is blue and Gary is quiet then Gary is green. If something is blue then it is rough. Rough things are quiet.
Bob is green.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4 OR ((((triple1) -> rule2)) -> rule3))] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Gary is green.[(triple7)] @1: Bob is rough.[(((triple1) -> rule2))]