Anne is nice. Dave is big. Fiona is red. Harry is young. All red things are quiet. All young things are kind. All kind things are green. If something is quiet then it is big. If something is kind then it is green. Big, green things are quiet. All young things are kind. If something is kind then it is big.
Dave is not big.
@0: Anne is nice.[(triple1)] Dave is big.[(triple2)] Fiona is red.[(triple3)] Harry is young.[(triple4)] @1: Fiona is quiet.[(((triple3) -> rule1))] Harry is kind.[(((triple4) -> rule2) OR ((triple4) -> rule7))] @2: Fiona is big.[(((((triple3) -> rule1)) -> rule4))] Harry is big.[(((((triple4) -> rule2)) -> rule8) OR ((((triple4) -> rule7)) -> rule8))] Harry is green.[(((((triple4) -> rule2)) -> rule3) OR ((((triple4) -> rule2)) -> rule5) OR ((((triple4) -> rule7)) -> rule3) OR ((((triple4) -> rule7)) -> rule5))] @3: Harry is quiet.[(((((((triple4) -> rule2)) -> rule8) ((((triple4) -> rule2)) -> rule3)) -> rule6) OR ((((((triple4) -> rule2)) -> rule8) ((((triple4) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4) -> rule2)) -> rule8) ((((triple4) -> rule7)) -> rule3)) -> rule6) OR ((((((triple4) -> rule2)) -> rule8) ((((triple4) -> rule7)) -> rule5)) -> rule6) OR ((((((triple4) -> rule7)) -> rule8) ((((triple4) -> rule2)) -> rule3)) -> rule6) OR ((((((triple4) -> rule7)) -> rule8) ((((triple4) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4) -> rule7)) -> rule8) ((((triple4) -> rule7)) -> rule3)) -> rule6) OR ((((((triple4) -> rule7)) -> rule8) ((((triple4) -> rule7)) -> rule5)) -> rule6))]