Anne is red. Anne is white. Charlie is big. Charlie is red. Charlie is white. Dave is furry. Gary is big. Gary is furry. Gary is green. Gary is young. All big, rough people are green. Green people are white. All big people are young. White people are young. All furry people are big. If someone is red and green then they are young. All young people are rough.
Charlie is white.
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Charlie is big.[(triple3)] Charlie is red.[(triple4)] Charlie is white.[(triple5 OR ((((triple3 ((((triple3) -> rule3)) -> rule7)) -> rule1)) -> rule2))] Dave is furry.[(triple6)] Gary is big.[(triple7 OR ((triple8) -> rule5))] Gary is furry.[(triple8)] Gary is green.[(triple9 OR ((triple7 ((triple10) -> rule7)) -> rule1) OR ((((triple8) -> rule5) ((triple10) -> rule7)) -> rule1) OR ((triple7 ((((triple7) -> rule3)) -> rule7)) -> rule1) OR ((((triple8) -> rule5) ((((triple7) -> rule3)) -> rule7)) -> rule1) OR ((triple7 ((((((triple8) -> rule5)) -> rule3)) -> rule7)) -> rule1) OR ((((triple8) -> rule5) ((((((triple8) -> rule5)) -> rule3)) -> rule7)) -> rule1))] Gary is young.[(triple10 OR ((triple7) -> rule3) OR ((((triple8) -> rule5)) -> rule3) OR ((((triple9) -> rule2)) -> rule4))] @1: Anne is young.[(((triple2) -> rule4))] Charlie is young.[(((triple3) -> rule3) OR ((triple5) -> rule4))] Dave is big.[(((triple6) -> rule5))] Gary is rough.[(((triple10) -> rule7) OR ((((triple7) -> rule3)) -> rule7) OR ((((((triple8) -> rule5)) -> rule3)) -> rule7) OR ((((((triple9) -> rule2)) -> rule4)) -> rule7))] Gary is white.[(((triple9) -> rule2) OR ((((triple7 ((triple10) -> rule7)) -> rule1)) -> rule2) OR ((((((triple8) -> rule5) ((triple10) -> rule7)) -> rule1)) -> rule2) OR ((((triple7 ((((triple7) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple8) -> rule5) ((((triple7) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((triple7 ((((((triple8) -> rule5)) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple8) -> rule5) ((((((triple8) -> rule5)) -> rule3)) -> rule7)) -> rule1)) -> rule2))] @2: Anne is rough.[(((((triple2) -> rule4)) -> rule7))] Charlie is rough.[(((((triple3) -> rule3)) -> rule7) OR ((((triple5) -> rule4)) -> rule7))] Dave is young.[(((((triple6) -> rule5)) -> rule3))] @3: Charlie is green.[(((triple3 ((((triple3) -> rule3)) -> rule7)) -> rule1) OR ((triple3 ((((triple5) -> rule4)) -> rule7)) -> rule1))] Dave is rough.[(((((((triple6) -> rule5)) -> rule3)) -> rule7))] @4: Dave is green.[(((((triple6) -> rule5) ((((((triple6) -> rule5)) -> rule3)) -> rule7)) -> rule1))] @5: Dave is white.[(((((((triple6) -> rule5) ((((((triple6) -> rule5)) -> rule3)) -> rule7)) -> rule1)) -> rule2))]