Anne is green. Anne is quiet. Anne is young. Charlie is big. Charlie is blue. Charlie is quiet. Dave is red. Dave is young. Harry is kind. Harry is young. If someone is green then they are quiet. Big people are green. If someone is kind and young then they are big.
Anne is big.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2 OR ((triple1) -> rule1))] Anne is young.[(triple3)] Charlie is big.[(triple4)] Charlie is blue.[(triple5)] Charlie is quiet.[(triple6 OR ((((triple4) -> rule2)) -> rule1))] Dave is red.[(triple7)] Dave is young.[(triple8)] Harry is kind.[(triple9)] Harry is young.[(triple10)] @1: Charlie is green.[(((triple4) -> rule2))] Harry is big.[(((triple9 triple10) -> rule3))] @2: Harry is green.[(((((triple9 triple10) -> rule3)) -> rule2))] @3: Harry is quiet.[(((((((triple9 triple10) -> rule3)) -> rule2)) -> rule1))]