Anne is big. Anne is not blue. Anne is green. Anne is kind. Anne is not round. Anne is smart. Anne is young. Charlie is big. Charlie is not blue. Charlie is young. Dave is big. Dave is young. Harry is not blue. Harry is kind. Harry is smart. Harry is not young. All big things are green. All young things are green. If Anne is green then Anne is smart. All blue, big things are young. All kind things are smart. If something is smart and not green then it is round.
Harry is big.
@0: Anne is big.[(triple1)] Anne is green.[(triple3 OR ((triple1) -> rule1) OR ((triple7) -> rule2))] Anne is kind.[(triple4)] Anne is not blue.[(triple2)] Anne is not round.[(triple5)] Anne is smart.[(triple6 OR ((triple3) -> rule3) OR ((triple4) -> rule5) OR ((((triple1) -> rule1)) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] Anne is young.[(triple7)] Charlie is big.[(triple8)] Charlie is not blue.[(triple9)] Charlie is young.[(triple10)] Dave is big.[(triple11)] Dave is young.[(triple12)] Harry is kind.[(triple14)] Harry is not blue.[(triple13)] Harry is not young.[(triple16)] Harry is smart.[(triple15 OR ((triple14) -> rule5))] @1: Charlie is green.[(((triple10) -> rule2) OR ((triple8) -> rule1))] Dave is green.[(((triple11) -> rule1) OR ((triple12) -> rule2))]