Bob is green. Bob is kind. Bob is nice. Fiona is red. Fiona is smart. Harry is kind. Harry is red. All kind things are blue. All nice, blue things are quiet.
Bob is not nice.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Fiona is red.[(triple4)] Fiona is smart.[(triple5)] Harry is kind.[(triple6)] Harry is red.[(triple7)] @1: Bob is blue.[(((triple2) -> rule1))] Harry is blue.[(((triple6) -> rule1))] @2: Bob is quiet.[(((triple3 ((triple2) -> rule1)) -> rule2))]