Charlie is round. Charlie is smart. Dave is smart. If something is kind and green then it is rough. All smart things are green. All green things are round. All young things are kind. All young things are green. Round, smart things are young. All kind, smart things are green. If Dave is young then Dave is rough.
Charlie is furry.
@0: Charlie is round.[(triple1 OR ((((triple2) -> rule2)) -> rule3))] Charlie is smart.[(triple2)] Dave is smart.[(triple3)] @1: Charlie is green.[(((triple2) -> rule2) OR ((((triple1 triple2) -> rule6)) -> rule5) OR ((((((triple1 triple2) -> rule6)) -> rule4) triple2) -> rule7))] Charlie is young.[(((triple1 triple2) -> rule6) OR ((((((triple2) -> rule2)) -> rule3) triple2) -> rule6))] Dave is green.[(((triple3) -> rule2))] @2: Charlie is kind.[(((((triple1 triple2) -> rule6)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule3) triple2) -> rule6)) -> rule4))] Dave is round.[(((((triple3) -> rule2)) -> rule3))] @3: Charlie is rough.[(((((((triple1 triple2) -> rule6)) -> rule4) ((triple2) -> rule2)) -> rule1) OR ((((((triple1 triple2) -> rule6)) -> rule4) ((((triple1 triple2) -> rule6)) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule6)) -> rule4) ((((((triple1 triple2) -> rule6)) -> rule4) triple2) -> rule7)) -> rule1) OR ((((((((((triple2) -> rule2)) -> rule3) triple2) -> rule6)) -> rule4) ((triple2) -> rule2)) -> rule1) OR ((((((((((triple2) -> rule2)) -> rule3) triple2) -> rule6)) -> rule4) ((((triple1 triple2) -> rule6)) -> rule5)) -> rule1) OR ((((((((((triple2) -> rule2)) -> rule3) triple2) -> rule6)) -> rule4) ((((((triple1 triple2) -> rule6)) -> rule4) triple2) -> rule7)) -> rule1))] Dave is young.[(((((((triple3) -> rule2)) -> rule3) triple3) -> rule6))] @4: Dave is kind.[(((((((((triple3) -> rule2)) -> rule3) triple3) -> rule6)) -> rule4))] Dave is rough.[(((((((((triple3) -> rule2)) -> rule3) triple3) -> rule6)) -> rule8) OR ((((((((((triple3) -> rule2)) -> rule3) triple3) -> rule6)) -> rule4) ((triple3) -> rule2)) -> rule1))]