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