Bob is red. Bob is young. Charlie is big. Charlie is green. Charlie is red. Charlie is rough. Charlie is young. Dave is big. Harry is rough. Harry is round. Harry is young. All rough, white things are young. All big things are round. All white, red things are rough. All round things are green. All big things are white. If Harry is round then Harry is big. All rough, young things are red. If something is young then it is green. All green things are red.
Dave is rough.
@0: Bob is red.[(triple1 OR ((((triple2) -> rule8)) -> rule9))] Bob is young.[(triple2)] Charlie is big.[(triple3)] Charlie is green.[(triple4 OR ((triple7) -> rule8) OR ((((triple3) -> rule2)) -> rule4) OR ((((triple6 ((triple3) -> rule5)) -> rule1)) -> rule8) OR ((((((((triple3) -> rule5) triple5) -> rule3) ((triple3) -> rule5)) -> rule1)) -> rule8))] Charlie is red.[(triple5 OR ((triple4) -> rule9) OR ((triple6 triple7) -> rule7) OR ((((triple7) -> rule8)) -> rule9) OR ((((((triple3) -> rule2)) -> rule4)) -> rule9) OR ((triple6 ((triple6 ((triple3) -> rule5)) -> rule1)) -> rule7) OR ((((((triple6 ((triple3) -> rule5)) -> rule1)) -> rule8)) -> rule9))] Charlie is rough.[(triple6 OR ((((triple3) -> rule5) triple5) -> rule3) OR ((((triple3) -> rule5) ((triple4) -> rule9)) -> rule3) OR ((((triple3) -> rule5) ((((triple7) -> rule8)) -> rule9)) -> rule3) OR ((((triple3) -> rule5) ((((((triple3) -> rule2)) -> rule4)) -> rule9)) -> rule3))] Charlie is young.[(triple7 OR ((triple6 ((triple3) -> rule5)) -> rule1) OR ((((((triple3) -> rule5) triple5) -> rule3) ((triple3) -> rule5)) -> rule1) OR ((((((triple3) -> rule5) ((triple4) -> rule9)) -> rule3) ((triple3) -> rule5)) -> rule1) OR ((((((triple3) -> rule5) ((((((triple3) -> rule2)) -> rule4)) -> rule9)) -> rule3) ((triple3) -> rule5)) -> rule1))] Dave is big.[(triple8)] Harry is rough.[(triple9 OR ((((((triple10) -> rule6)) -> rule5) ((((triple10) -> rule4)) -> rule9)) -> rule3) OR ((((((triple10) -> rule6)) -> rule5) ((((triple11) -> rule8)) -> rule9)) -> rule3))] Harry is round.[(triple10)] Harry is young.[(triple11 OR ((triple9 ((((triple10) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple10) -> rule6)) -> rule5) ((((triple10) -> rule4)) -> rule9)) -> rule3) ((((triple10) -> rule6)) -> rule5)) -> rule1))] @1: Bob is green.[(((triple2) -> rule8))] Charlie is round.[(((triple3) -> rule2))] Charlie is white.[(((triple3) -> rule5))] Dave is round.[(((triple8) -> rule2))] Dave is white.[(((triple8) -> rule5))] Harry is big.[(((triple10) -> rule6))] Harry is green.[(((triple10) -> rule4) OR ((triple11) -> rule8) OR ((((triple9 ((((triple10) -> rule6)) -> rule5)) -> rule1)) -> rule8))] Harry is red.[(((triple9 triple11) -> rule7) OR ((((triple10) -> rule4)) -> rule9) OR ((((triple11) -> rule8)) -> rule9) OR ((triple9 ((triple9 ((((triple10) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((triple9 ((((triple10) -> rule6)) -> rule5)) -> rule1)) -> rule8)) -> rule9))] @2: Dave is green.[(((((triple8) -> rule2)) -> rule4))] Harry is white.[(((((triple10) -> rule6)) -> rule5))] @3: Dave is red.[(((((((triple8) -> rule2)) -> rule4)) -> rule9))] @4: Dave is rough.[(((((triple8) -> rule5) ((((((triple8) -> rule2)) -> rule4)) -> rule9)) -> rule3))] @5: Dave is young.[(((((((triple8) -> rule5) ((((((triple8) -> rule2)) -> rule4)) -> rule9)) -> rule3) ((triple8) -> rule5)) -> rule1))]