Charlie is furry. Charlie is rough. Charlie is round. If someone is furry then they are rough. If Charlie is young and Charlie is rough then Charlie is smart. Rough, round people are young. Smart people are kind. If someone is young then they are furry. If someone is kind then they are young. All young people are rough. Quiet, furry people are young.
Charlie is kind.
@0: Charlie is furry.[(triple1 OR ((((triple2 triple3) -> rule3)) -> rule5))] Charlie is rough.[(triple2 OR ((triple1) -> rule1))] Charlie is round.[(triple3)] @1: Charlie is young.[(((triple2 triple3) -> rule3) OR ((((triple1) -> rule1) triple3) -> rule3))] @2: Charlie is smart.[(((((triple2 triple3) -> rule3) triple2) -> rule2) OR ((((triple2 triple3) -> rule3) ((triple1) -> rule1)) -> rule2) OR ((((((triple1) -> rule1) triple3) -> rule3) triple2) -> rule2) OR ((((((triple1) -> rule1) triple3) -> rule3) ((triple1) -> rule1)) -> rule2))] @3: Charlie is kind.[(((((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule4) OR ((((((triple2 triple3) -> rule3) ((triple1) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple1) -> rule1) triple3) -> rule3) triple2) -> rule2)) -> rule4) OR ((((((((triple1) -> rule1) triple3) -> rule3) ((triple1) -> rule1)) -> rule2)) -> rule4))]