Bob is rough. Charlie is nice. Charlie is rough. Harry is furry. Harry is green. Harry is nice. Harry is rough. Rough, young people are furry. All kind people are round. If Charlie is rough then Charlie is young. If Harry is green then Harry is furry. Nice people are young. Rough people are green. Young people are green. If someone is nice and round then they are furry.
Harry is kind.
@0: Bob is rough.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3)] Harry is furry.[(triple4 OR ((triple5) -> rule4) OR ((((triple7) -> rule6)) -> rule4) OR ((triple7 ((triple6) -> rule5)) -> rule1) OR ((((((triple6) -> rule5)) -> rule7)) -> rule4))] Harry is green.[(triple5 OR ((triple7) -> rule6) OR ((((triple6) -> rule5)) -> rule7))] Harry is nice.[(triple6)] Harry is rough.[(triple7)] @1: Bob is green.[(((triple1) -> rule6))] Charlie is green.[(((triple3) -> rule6) OR ((((triple2) -> rule5)) -> rule7) OR ((((triple3) -> rule3)) -> rule7))] Charlie is young.[(((triple2) -> rule5) OR ((triple3) -> rule3))] Harry is young.[(((triple6) -> rule5))] @2: Charlie is furry.[(((triple3 ((triple2) -> rule5)) -> rule1) OR ((triple3 ((triple3) -> rule3)) -> rule1))]