Anne is blue. Bob is blue. Fiona is big. Harry is kind. If something is green and smart then it is kind. If something is young and kind then it is quiet. All smart things are quiet. All green, young things are smart. If something is quiet and kind then it is smart. All big things are green. If Bob is blue then Bob is big. If Bob is green then Bob is quiet.
Anne is not green.
@0: Anne is blue.[(triple1)] Bob is blue.[(triple2)] Fiona is big.[(triple3)] Harry is kind.[(triple4)] @1: Bob is big.[(((triple2) -> rule7))] Fiona is green.[(((triple3) -> rule6))] @2: Bob is green.[(((((triple2) -> rule7)) -> rule6))] @3: Bob is quiet.[(((((((triple2) -> rule7)) -> rule6)) -> rule8))]