Charlie is rough. Charlie is white. Dave is rough. If Charlie is nice and Charlie is round then Charlie is furry. All white people are nice. White people are green. Round, furry people are blue. All nice people are rough. If someone is white then they are round. White, blue people are round. If someone is nice then they are blue.
Charlie is rough.
@0: Charlie is rough.[(triple1 OR ((((triple2) -> rule2)) -> rule5))] Charlie is white.[(triple2)] Dave is rough.[(triple3)] @1: Charlie is green.[(((triple2) -> rule3))] Charlie is nice.[(((triple2) -> rule2))] Charlie is round.[(((triple2) -> rule6) OR ((triple2 ((((triple2) -> rule2)) -> rule8)) -> rule7))] @2: Charlie is blue.[(((((triple2) -> rule2)) -> rule8) OR ((((triple2) -> rule6) ((((triple2) -> rule2) ((triple2) -> rule6)) -> rule1)) -> rule4))] Charlie is furry.[(((((triple2) -> rule2) ((triple2) -> rule6)) -> rule1) OR ((((triple2) -> rule2) ((triple2 ((((triple2) -> rule2)) -> rule8)) -> rule7)) -> rule1))]