Anne is big. Dave is green. Dave is round. Dave is young. Gary is furry. Gary is kind. Harry is big. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is young. All kind things are young. All round, quiet things are green. If something is round and green then it is young.
Harry is not big.
@0: Anne is big.[(triple1)] Dave is green.[(triple2)] Dave is round.[(triple3)] Dave is young.[(triple4 OR ((triple3 triple2) -> rule3))] Gary is furry.[(triple5)] Gary is kind.[(triple6)] Harry is big.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is young.[(triple12 OR ((triple10) -> rule1))] @1: Gary is young.[(((triple6) -> rule1))]