Charlie is furry. Charlie is green. Charlie is nice. Charlie is round. Charlie is young. Dave is furry. Dave is green. Dave is kind. Dave is young. Harry is furry. Harry is green. Harry is nice. Harry is rough. Harry is round. Harry is young. If someone is nice and rough then they are green. Rough people are kind. If someone is rough then they are kind. If Harry is young then Harry is rough. If someone is kind and furry then they are round. Nice, round people are furry.
Harry is round.
@0: Charlie is furry.[(triple1 OR ((triple3 triple4) -> rule6))] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is round.[(triple4)] Charlie is young.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is young.[(triple9)] Harry is furry.[(triple10 OR ((triple12 triple14) -> rule6))] Harry is green.[(triple11 OR ((triple12 triple13) -> rule1) OR ((triple12 ((triple15) -> rule4)) -> rule1))] Harry is nice.[(triple12)] Harry is rough.[(triple13 OR ((triple15) -> rule4))] Harry is round.[(triple14 OR ((((triple13) -> rule2) triple10) -> rule5) OR ((((triple13) -> rule3) triple10) -> rule5) OR ((((((triple15) -> rule4)) -> rule2) triple10) -> rule5) OR ((((((triple15) -> rule4)) -> rule3) triple10) -> rule5))] Harry is young.[(triple15)] @1: Dave is round.[(((triple8 triple6) -> rule5))] Harry is kind.[(((triple13) -> rule2) OR ((triple13) -> rule3) OR ((((triple15) -> rule4)) -> rule2) OR ((((triple15) -> rule4)) -> rule3))]