Charlie is big. Charlie is blue. Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is smart. Dave is white. Gary is big. Gary is green. Gary is smart. Gary is young. Blue, white things are young. If something is big and blue then it is smart. If something is white and young then it is green. If something is smart and big then it is white. If Gary is quiet then Gary is young. If Charlie is smart then Charlie is white.
Charlie is not white.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is green.[(triple5 OR ((triple8 ((triple4 triple8) -> rule1)) -> rule3) OR ((((triple7 triple3) -> rule4) ((triple4 triple8) -> rule1)) -> rule3) OR ((triple8 ((triple4 ((triple7 triple3) -> rule4)) -> rule1)) -> rule3) OR ((((triple7 triple3) -> rule4) ((triple4 ((triple7 triple3) -> rule4)) -> rule1)) -> rule3) OR ((((((triple3 triple4) -> rule2) triple3) -> rule4) ((triple4 triple8) -> rule1)) -> rule3) OR ((((((triple3 triple4) -> rule2) triple3) -> rule4) ((triple4 ((triple7 triple3) -> rule4)) -> rule1)) -> rule3) OR ((triple8 ((triple4 ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1)) -> rule3) OR ((((triple7 triple3) -> rule4) ((triple4 ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1)) -> rule3) OR ((((((triple3 triple4) -> rule2) triple3) -> rule4) ((triple4 ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1)) -> rule3))] Dave is quiet.[(triple6)] Dave is smart.[(triple7 OR ((triple3 triple4) -> rule2))] Dave is white.[(triple8 OR ((triple7 triple3) -> rule4) OR ((((triple3 triple4) -> rule2) triple3) -> rule4))] Gary is big.[(triple9)] Gary is green.[(triple10 OR ((((triple11 triple9) -> rule4) triple12) -> rule3))] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Charlie is smart.[(((triple1 triple2) -> rule2))] Dave is young.[(((triple4 triple8) -> rule1) OR ((triple4 ((triple7 triple3) -> rule4)) -> rule1) OR ((triple4 ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1))] Gary is white.[(((triple11 triple9) -> rule4))] @2: Charlie is white.[(((((triple1 triple2) -> rule2)) -> rule6) OR ((((triple1 triple2) -> rule2) triple1) -> rule4))] @3: Charlie is young.[(((triple2 ((((triple1 triple2) -> rule2)) -> rule6)) -> rule1) OR ((triple2 ((((triple1 triple2) -> rule2) triple1) -> rule4)) -> rule1))] @4: Charlie is green.[(((((((triple1 triple2) -> rule2)) -> rule6) ((triple2 ((((triple1 triple2) -> rule2)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple1 triple2) -> rule2)) -> rule6) ((triple2 ((((triple1 triple2) -> rule2) triple1) -> rule4)) -> rule1)) -> rule3) OR ((((((triple1 triple2) -> rule2) triple1) -> rule4) ((triple2 ((((triple1 triple2) -> rule2)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple1 triple2) -> rule2) triple1) -> rule4) ((triple2 ((((triple1 triple2) -> rule2) triple1) -> rule4)) -> rule1)) -> rule3))]